/sys/lib/libkern/arch/pdp10/