Tysos is a 64-bit operating system written in C Sharp. The kernel is compiled ahead-of-time by tysila, the TYSos Intermediate Language Assembler into native machine code (currently position-independent x86_64 code packaged in an ELF-64 object file). Tysila itself will then also be compiled ahead-of-time by itself and the resultant object files linked together to produce an operating system that can just-in-time compile any other required modules or applications.
The resultant binary will be loaded by TLoad, a stage 2 bootloader in turn loaded by GRUB.
The base design of the operating system is a pre-emptive multitasking microkernel with all processes within the same (64-bit) address space. Memory-safety and protection against malicious code will be provided by Tysila.