Source code (NetBSD) required for building portable rump kernels