src/common/lib/libc/arch/ns32k
