Dinoloader Dinoloader is a simple 64-bit x86 OS written in C. Please note that Dinoloader is still in development.