Todas las placas de ese estilo usan sistema operativo, son una computadora con muchos componentes integrados (varios CPU, mucha RAM, Placa de red, Controlador USB,etc.) como es mucha la complejidad se trabaja con sistema operativo, el kernel se encarga de gestionar todo eso.
Si lo que quieres es algo que cargue directo tienes que ir a un microcontrolador que es mucho mas simple y menos potente y flexible, algo estilo Arduino o Esp. comenta que es lo quieres hacer, y tal vez pueda recomendarte algo mas adecuado.