Go to file
2021-08-16 12:56:46 +02:00
kinclude added memset for non-rv32m environments 2021-07-16 22:27:32 +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 using my own linker now 2021-07-16 19:54:08 +02:00
Makefile added gcc flags to make binaries more relocatable 2021-08-16 12:56:46 +02:00
README.md initial commit 2021-06-21 11:12:33 +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.

The Makefile:

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