prootype of michi kernel