Microkernel is a project mainly written in PASCAL and C, it's free.
A tiny dumb kernel in C++0X
404: Not Found