Ix64 is a project mainly written in C and ASSEMBLY, it's free.

simple x86_64 kernel (predecessor of https://github.com/pirix/pirix)