Go to file
2021-08-17 09:09:43 +02:00
kinclude cleaned up scheduling and boot code 2021-08-17 09:09:43 +02:00
lib initial commit 2021-06-21 11:12:33 +02:00
.gitignore initial commit 2021-06-21 11:12:33 +02:00
kernel.c initial commit 2021-06-21 11:12:33 +02:00
kernel.h initial commit 2021-06-21 11:12:33 +02:00
LICENSE initial commit 2021-06-21 11:12:33 +02:00
linker.ld changed binary starting location and added linker comments 2021-08-17 09:09:43 +02:00
Makefile removed -mexplicit-relocs cc flag and other options in the Makefile 2021-08-17 09:09:43 +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!