Indeed. What ever happened to user mode linux?