UNIX-alike operating system kernel in C and x86 assembly