These two are not mutually exclusive. To be more exact, coLinux is a VM running under a device driver. The driver is mainly just a bridge to get into the privileged execution path and manage the resources it needs.