dipende... il kernel è scritto in html?