Escreva um SO para Raspberry Pi em C

Eu já encontrei os tutoriais do Baking Pi , mas eles usam apenas a linguagem assembly . Eu segui as primeiras lições, mas já estou imaginando como usar o C. Quero dizer, há uma razão pela qual eles inventaram linguagens de nível superior. Eu tentei apenas compilar o código C em um .oarquivo object...