I managed to get my EFIKA to boot to the point where it will start to schedule tasks. The problem now is the tasks stacks are in the virtual address space. The EFIKA appears to expect memory addresses passed to it to be a real address. My understanding from reading the NetBSD code is they have a region of memory they use to copy data to before passing it to Openfirmware.