Is it possible to write a kernel without using pointers? In order for a kernel to be effectively trace scheduled there should be no pointers. So how do we initialise the kernel memory allocator or boot monitor on bootup? use a small assembly language routine?