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