another old hobby os
This repository has been archived on 2025-02-27. You can view files and clone it, but cannot push or open issues or pull requests.
Find a file
2020-01-18 14:28:53 -05:00
doc/internals woops, last commit was missing most of the file 2019-12-27 22:04:02 -05:00
src going to try efi again 2020-01-18 14:28:53 -05:00
.gitignore more of bootloader, tiny kernel stub 2019-12-14 18:31:34 -05:00
makefile going to try efi again 2020-01-18 14:28:53 -05:00