[workspace]

members = [
    # userspace commands
    "usr/src/mei/true",
    "usr/src/mei/pwd",
    "usr/src/mei/yes",
    "usr/src/mei/echo",
    "usr/src/mei/printf",
    # system
    "usr/src/kei",
]