La capa de abstracción del hardware está escrita en C++ y se ejecuta en modo seguro.