Knowledge of the C programming language is assumed. The microkernel handles most of the low level stuff, and the tutorial has some ready-made drivers.