Hi This is a hobby OS project. The top level (boot.s + mkpe.c) is a "Hello, World!" UEFI project. boot.s is assembled to a raw x86_64 binary, then mkpe converts it into a minimal UEFI-compatible PE image. This is a minimalism (esp. size) goal, at 416 bytes. Under `bunny/' lies the more ambitious project: the start of an OS in Rust.