kernel_sources += files(
    'anon.c',
    'cache.c',
    'devtmpfs.c',
    'file.c',
    'ident.c',
    'init.c',
    'initramfs.c',
    'mount.c',
    'ops.c',
    'pipe.c',
    'poll.c',
    'refs.c',
    'tmpfs.c',
)

subdir('exec')