Estoy considerando escribir un controlador de bajo nivel o componentes / núcleos del sistema operativo. La gente de osdev.org parece pensar que las partes importantes no son significativamente verificables de esta manera, pero he leído algunas discusiones donde la gente pensaba de manera...