Go to file
2021-08-21 11:08:57 +02:00
kinclude added TextIO module for outputting text 2021-08-21 11:08:03 +02:00
lib initial commit 2021-06-21 11:12:33 +02:00
.gitignore added .img files to gitignore 2021-08-18 13:19:03 +02:00
kernel.c added TextIO module for outputting text 2021-08-21 11:08:03 +02:00
kernel.h added TextIO module for outputting text 2021-08-21 11:08:03 +02:00
LICENSE initial commit 2021-06-21 11:12:33 +02:00
linker.ld small linker.ld fixes for _start section and global pointer 2021-08-21 11:08:57 +02:00
Makefile added TextIO module for outputting text 2021-08-21 11:08:03 +02:00
package.py cleaned packaging script up and added debug symbols 2021-08-19 15:29:25 +02:00
README.md added toolchain compilation infos to readme 2021-08-16 12:57:13 +02:00

EMBARK: An Educational and Modifiable BAsic RISC-V Kernel

EMBARK is a small kernel, designed for educational projects. It has very limited scope and is designed to be extensible.

The toolchain:

I am using the riscv-gnu-toolchain, configured with --with-arch=rv32im --disable-linux --disable-gdb --disable-multilib and built using make -j <number of threads>.

The Makefile:

You can build the kernel using make kernel. Make sure the toolchain is in your path!