Cinnabar operating system
You can not select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
 
 
 
 
 
 
tuxcrafting ff31b1d8a2 initial system call api as well as some (definitely broken) scheduling stuff 1 week ago
defs initial system call api as well as some (definitely broken) scheduling stuff 1 week ago
init initial system call api as well as some (definitely broken) scheduling stuff 1 week ago
kernel initial system call api as well as some (definitely broken) scheduling stuff 1 week ago
.gitignore simplify a lot of things, also use make instead of shell+gprbuild 2 weeks ago
GNUmakefile initial system call api as well as some (definitely broken) scheduling stuff 1 week ago
LICENSE.txt autogenerate system.ads, fix endianness in loader 2 weeks ago
README.md autogenerate system.ads, fix endianness in loader 2 weeks ago

README.md

Cinnabar

Cinnabar is a hobby operating system.

Building

First, ensure you have all the dependencies:

  • GCC 10 with support for C and Ada
  • GNU binutils
  • GNU make
  • GNU m4
  • Python 3
  • pyelftools

Then, building is done simply through make. The possible variables that can be changed are:

  • TARGET - GCC target.
  • BOARD - Platform to build Cinnabar for, valid options are shown in the GNUmakefile.

Default all target builds the kernel, there is also the run-qemu target to run it in QEMU.