l4/pkg/uclibc/lib/backends/simple_sleep
