|
|
@ -2,27 +2,64 @@
|
|
|
|
|
|
|
|
|
|
|
|
Implementing a basic RISC-V emulator, aimed at being easily extendable.
|
|
|
|
Implementing a basic RISC-V emulator, aimed at being easily extendable.
|
|
|
|
|
|
|
|
|
|
|
|
Currently supported (but not implemented) instructions:
|
|
|
|
This emulator contains:
|
|
|
|
|
|
|
|
* RISC-V Assembly parser
|
|
|
|
|
|
|
|
* RISC-V Assembly loader
|
|
|
|
|
|
|
|
* Emulation for parts of the basic RISC-V instruction set
|
|
|
|
|
|
|
|
* Naive memory emulator
|
|
|
|
|
|
|
|
* Basic implementation of some syscalls
|
|
|
|
|
|
|
|
* A debugging environment
|
|
|
|
|
|
|
|
|
|
|
|
````
|
|
|
|
|
|
|
|
lb, lh, lw, lbu, lhu, sb, sh, sw, sll, slli, srl, srli, sra,
|
|
|
|
|
|
|
|
srai, add, addi, sub, lui, auipc, xor, xori, or, ori, and,
|
|
|
|
|
|
|
|
andi, slt, slti, sltu, sltiu, beq, bne, blt, bge, bltu, bgeu,
|
|
|
|
|
|
|
|
j, jr, jal, jalr, ret, scall, break, nop
|
|
|
|
|
|
|
|
````
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
See the docs on [asembly](docs/assembly.md) and [the cpu](docs/CPU.md) for more detail.
|
|
|
|
## Running simple Assembly:
|
|
|
|
|
|
|
|
A couple of basic assembly programs are provided inside `examples/`, such as [`exit.asm`](examples/exit.asm), which just exits with code 0
|
|
|
|
|
|
|
|
|
|
|
|
Currently, symbols (such as `main:`) are looked-up in runtime. This allows for better debugging, I believe.
|
|
|
|
You can run it by typing `python -m riscemu examples/hello-world.asm`. It will produce output similar to:
|
|
|
|
|
|
|
|
```
|
|
|
|
|
|
|
|
Successfully loaded: LoadedExecutable[examples/hello-world.asm](base=0x00000100, size=24bytes, sections=data text, run_ptr=0x00000110)
|
|
|
|
|
|
|
|
Hello world
|
|
|
|
|
|
|
|
Program exited with code 0
|
|
|
|
|
|
|
|
```
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
See the docs on [asembly](docs/assembly.md) and [the cpu](docs/CPU.md) for more detail on how to write assembly code for this emulator.
|
|
|
|
|
|
|
|
See the [list of implemented syscalls](docs/syscalls.md) for more details on how to syscall.
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Currently, symbols (such as `main:`) are looked-up at runtime. This allows for better debugging, I believe.
|
|
|
|
|
|
|
|
|
|
|
|
Basic IO should work, as open, read, write and close are supported for stdin/stdout/stderr and even aribtrary file paths (if enabled)
|
|
|
|
Basic IO should work, as open, read, write and close are supported for stdin/stdout/stderr and even aribtrary file paths (if enabled)
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
## Using the CLI:
|
|
|
|
|
|
|
|
*Current CLI is not final, options may change frequently until a stable version is reached*
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
This is how the interface is used:
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
```
|
|
|
|
|
|
|
|
riscemu [--options OPTIONS] [--syscall-option SYSCALL_OPTIONS] [--default_stack_size] file.asm [file.asm ...]
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
OPTIONS and SYSCALL_OPTIONS is a list of comma-separated flags that will be enabled
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
OPTIONS:
|
|
|
|
|
|
|
|
disable_debug Disable the ebreak and sbreak instructions
|
|
|
|
|
|
|
|
no_syscall_symbols Don't make syscall symbols globally available
|
|
|
|
|
|
|
|
fail_on_ex Do not launch an interactive debugger when the CPU loop catches an exception
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
SYSCALL_OPTIONS:
|
|
|
|
|
|
|
|
fs_access Allow access to the filesystem
|
|
|
|
|
|
|
|
disable_io Disallow reading/writing from stdin/stdout/stderr
|
|
|
|
|
|
|
|
```
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
If multiple files are specified, all are loaded into memeory, but only the last one is executed. This might be improved
|
|
|
|
|
|
|
|
later, maybe the `_init` section of each binary is executed before the main loop starts?
|
|
|
|
|
|
|
|
|
|
|
|
## Resources:
|
|
|
|
## Resources:
|
|
|
|
* Pseudo ops: https://www.codetd.com/article/8981522
|
|
|
|
* Pseudo ops: https://www.codetd.com/article/8981522
|
|
|
|
* RISC-V reference card: https://www.cl.cam.ac.uk/teaching/1617/ECAD+Arch/files/docs/RISCVGreenCardv8-20151013.pdf
|
|
|
|
* RISC-V reference card: https://www.cl.cam.ac.uk/teaching/1617/ECAD+Arch/files/docs/RISCVGreenCardv8-20151013.pdf
|
|
|
|
|
|
|
|
|
|
|
|
## TODO:
|
|
|
|
## TODO:
|
|
|
|
* add global symbol lookup table
|
|
|
|
* Prevent tokenizer infinite loop on unknown instructions
|
|
|
|
* better pseudo-ops
|
|
|
|
* Move cpu instructions to different file, allow for instruction set selection and composition
|
|
|
|
* mmu inspect methods
|
|
|
|
* Add a cycle limit to the options and CPU to catch infinite loops
|
|
|
|
|
|
|
|
* Move away from `print` and use `logging.logger` instead
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|