The Linux kernel, adapted for UNG/Linux