elibc_glibc hppa installkernel kernel_linux userland_GNU
