A pre-emptive multi-tasking kernel using FreeBSD boot-loader for x86-64 architecture.