You must log in or # to comment.
For anybody else curious, he’s using KalibriOS.
It’s an open source, ultra-lightweight os that is not a fork of Linux… I think.
Neat project though!
Yeah it’s not Linux. It’s forked off MenuetOS (https://menuetos.net/ ) which is a hobby OS written entirely in assembly (FASM flavor, https://flatassembler.net/ ).