Imagino que debe exister, mas que nada es por que si hay sistemas operativos creados en C, imagino que de alguna forma se debió compilar su nucleo y sus funciones mas básicas.
GCC -c my_kernel.cLD my_kernel.o -o kernel.bin -oformat binary -Ttext 0x100000genera un archivo totalmente binario sin dependencia de ningun sistema operativo ni libc, pero antes de cargarlo tenes que entrar en modo protegido y esa es la parte dificil
si es de 32 bits y funciona en modo protegido asi que hay que hacer varias cosas antes de poder hacer andar eso pero son cosas que uno tiene que hacer si desea hacer un sistema operativo ( entrar en modo protegido setear las tablas gdt idt, cargar el binario y ejecutarlo )(es como un .COM de 32 bits )
eternal te queria contar que lei tus links de real programers... muy interesantes, esos si que son programadores