History

Rémi Rativel 99b0128cfe Implemented calls for sys.s, problem with compilation of riscV code, need to fix it later		2023-04-04 17:59:16 +02:00
..
machine	added the unsigned_addition test and memory mock	2023-03-15 15:35:28 +01:00
riscv_instructions	Fix build makefiles	2023-03-28 19:35:24 +02:00
userlib	Implemented calls for sys.s, problem with compilation of riscV code, need to fix it later	2023-04-04 17:59:16 +02:00
.gitignore	Reworked unit tests for machine and renamed test_programs directory	2023-03-12 00:22:16 +01:00
Makefile	Merge branch 'bin-loader' into 'thread_scheduler'	2023-04-04 13:35:10 +00:00
Makefile.config	Reworked unit tests for machine and renamed test_programs directory	2023-03-12 00:22:16 +01:00
Makefile.tests	Fix build makefiles	2023-03-28 19:35:24 +02: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.