Should work with user kernel