Escribir un sistema operativo para Raspberry Pi en C

Ya encontré los tutoriales de Baking Pi , pero solo usan lenguaje ensamblador . Seguí las primeras lecciones, pero ya me pregunto cómo usar C en su lugar. Quiero decir, hay una razón por la que inventaron idiomas de nivel superior. Intenté simplemente compilar el código C en un .oarchivo object (...