1stdlibs-all := l4sys l4re l4re-util libc_be_l4refile libc_be_l4re
2stdlibs     := stdlibs-all libl4re-vfs
3stdlibs-sh  := stdlibs-all ldso libdl libc_support_misc libc_be_socket_noop
4