l4/pkg/uclibc/lib/backends/sigma0_mem
