Introduce "kernel" and "user" pools as a band-aid for user memory