quentinlegot/burritos
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity
d1935e9399
burritos/test
History
amaury c0765270d7 ajout de fichiers mémoire et des registre en cours d'execution
2023-03-13 19:00:54 +01:00
..
machine ajout de fichiers mémoire et des registre en cours d'execution 2023-03-13 19:00:54 +01:00
riscv_instructions Reworked unit tests for machine and renamed test_programs directory 2023-03-12 00:22:16 +01:00
userlib Reworked unit tests for machine and renamed test_programs directory 2023-03-12 00:22:16 +01:00
.gitignore Reworked unit tests for machine and renamed test_programs directory 2023-03-12 00:22:16 +01:00
Makefile Reworked unit tests for machine and renamed test_programs directory 2023-03-12 00:22:16 +01:00
Makefile.config Reworked unit tests for machine and renamed test_programs directory 2023-03-12 00:22:16 +01:00
Makefile.tests Reworked unit tests for machine and renamed test_programs directory 2023-03-12 00:22:16 +01:00
README.md Reworked unit tests for machine and renamed test_programs directory 2023-03-12 00:22:16 +01:00

README.md

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. Simply changing the RISCV_PREFIX variable should do the trick. Do not forget to add a trailing slash.

Exporting objdumps

$ make dumps

Compiling programs

$ make programs

Cleaning

$ make clean

Output folder

Compilation results are located in the target/objdumps and target/programs directories.