AresK. 64 bit Kernel written in x86_64 assembly with a C runtime for higher level abstractions for sys internals