This is really fun to see again. I first played with baremetal around ~2013 when I was a university student. I really enjoyed message passing between small computers with the network API where you just got to write ethernet frames, no messing with any higher protocols.

Is this kernel the same one still?