needed for working kernel