kernelspace versus userspace, etc..:

splitting the kernel

GNUX allows you to expand the kernel at run time.

you can build a piece of hardware, and then extend the kernel to use the hardware.

much different approach to microprocessors.

classes of devices and modules