HaikuOS x86_64 port part of Google Summer of Code
haiku-os.org
haiku-os.org
HelenOS uses its own microkernel written from scratch and supports SMP, multitasking and multithreading on both 32-bit and 64-bit, little-endian and big-endian processor architectures, among which are AMD64/EM64T (x86-64), ARM, IA-32, IA-64 (Itanium), 32-bit MIPS, 32-bit PowerPC and SPARC V9.
HelenOS is infact one of the most portable microkernel operating system! Currently it's not as much developed as it's counterparts but it will become a complete and usable modern operating system very soon given the amount of activity going on in there.
But why GCC? GCC is the crufty old compiler of yesteryear. It's a solid workhorse but big and inflexible, and in my opinion its importance will be waning as LLVM/Clang matures. Had you considered porting LLVM/Clang instead?