E che c'entra questo con PHP?
Il tuo sistema operativo ha il kernel scritto in HTML?