[j-pb]

You could probably write one in forth though ;p, what's good enough for EFI is good enough for the kernel. (You'd end up with a lot of inline assembly probably though, but hey that's less complicated than C++.)

[tmzt]

Did you mean OFW rather than EFI?