paolino tu che conosci bene ste robe se non ho capito male Haiku (preferivo openBEOS) ha un microkernel di seconda generazione tipo qnx giusto??