28 lines
783 B
Markdown
28 lines
783 B
Markdown
|
# BurritOS Test programs
|
||
|
|
This folder contains small C programs pertaining to the assessment of the correctness of BurritOS' behavior.
|
||
|
|
|
||
|
|
## Folder Structure
|
||
|
|
- **riscv_instructions**: contains small programs for testing simulator instruction coverage.
|
||
|
|
|
||
|
|
## How to build
|
||
|
|
### In the Makefile.config file
|
||
|
|
Set the variables to the correct paths for the [RISCV Newlib compilation toolchain](https://github.com/riscv-collab/riscv-gnu-toolchain). Simply changing the `RISCV_PREFIX` variable should do the trick. **Do not forget to add a trailing slash**.
|
||
|
|
|
||
|
|
### Exporting objdumps
|
||
|
|
|
||
|
|
```
|
||
|
|
$ make objdumps
|
||
|
|
```
|
||
|
|
|
||
|
|
### Compiling programs
|
||
|
|
```
|
||
|
|
$ make programs
|
||
|
|
```
|
||
|
|
|
||
|
|
### Cleaning
|
||
|
|
```
|
||
|
|
$ make clean
|
||
|
|
```
|
||
|
|
|
||
|
|
### Output folder
|
||
|
|
Compilation results are located in the target/objdumps and target/programs directories.
|