[workspace]
# RustSBI library and all supported platforms
members = [
    "rustsbi",
    "platform/*",
]