Is it a micro-kernel based? Because writing kernel drivers is not the most convenient approach.