A very small OS written with the help of textbooks like this, tutorials like this, and the OSDev wiki. Currently it is only 32bits.
Install the i386 cross compiler with this tutorial, then git clone everything.
For most 64 bit machines, clangd might complain that the addresses are 64 bit when casting to uint32_t, to fix this, simply run
bear -- make