[This space for rent] The real question is not whether paging belongs in the kernel, but whether tty drivers belong in the kernel. Tty drivers NEVER do what you want them to do. Too bad the constraints of making device drivers efficient and secure preclude allowing random users to supply their own.