[workspace]

members = [
    "drivers/basic_driver",
    "drivers/randomness_handler",

    "drivers/audio/pc_beeper_driver",

    "drivers/graphics/derelict_microarchitecture",
    "drivers/graphics/ground",
    "drivers/graphics/novideo",
    "drivers/graphics/vgable",

    "drivers/vfs",

    "drivers/keyboards/ps2_keyboard",
    "drivers/mice/ps2_mouse",

    "libraries/able_graphics_library",
    "libraries/ari_interface",
    "libraries/audio_interface",
    "libraries/clparse",
    "libraries/cryptography",
    "libraries/xml",
    "libraries/locale-maxima",
    "libraries/messaging",
    "libraries/os_core",
    "libraries/process",
    "libraries/std",
    "libraries/table",
    "libraries/tar",
    "libraries/time",
    "libraries/trash_manifest",
    "libraries/uri",
    "libraries/versioning",

    "programs/aidl",
    "programs/ari_client",
    "programs/ari_server",
    "programs/axel2wat",
    "programs/delete",
    "programs/list",
    "programs/shell",
    "programs/table_view",
    "programs/undelete",
    "programs/wasm_syscall_test",
    "programs/system_config",
    "programs/wat2wasm",
    "programs/xml_tests",

    "programs/std_test",
]