l4/pkg/uclibc/lib/uclibc/ARCH-x86
