{"id":19608641,"url":"https://github.com/sel4/rust-microkit-demo","last_synced_at":"2025-06-21T10:06:07.796Z","repository":{"id":178840605,"uuid":"662429098","full_name":"seL4/rust-microkit-demo","owner":"seL4","description":"Demonstrates the use of the seL4 crates with the seL4 Microkit","archived":false,"fork":false,"pushed_at":"2024-07-02T07:33:57.000Z","size":194,"stargazers_count":2,"open_issues_count":2,"forks_count":4,"subscribers_count":17,"default_branch":"main","last_synced_at":"2025-06-21T10:05:40.624Z","etag":null,"topics":[],"latest_commit_sha":null,"homepage":"","language":"Rust","has_issues":true,"has_wiki":null,"has_pages":null,"mirror_url":null,"source_name":null,"license":null,"status":null,"scm":"git","pull_requests_enabled":true,"icon_url":"https://github.com/seL4.png","metadata":{"files":{"readme":"README.md","changelog":null,"contributing":".github/CONTRIBUTING.md","funding":null,"license":"LICENSES/Apache-2.0.txt","code_of_conduct":".github/CODE_OF_CONDUCT.md","threat_model":null,"audit":null,"citation":null,"codeowners":".github/CODEOWNERS","security":null,"support":"support/targets/aarch64-sel4-microkit-minimal.json","governance":null,"roadmap":null,"authors":null,"dei":null,"publiccode":null,"codemeta":null,"zenodo":null}},"created_at":"2023-07-05T05:57:43.000Z","updated_at":"2024-09-05T03:35:42.000Z","dependencies_parsed_at":"2024-04-22T07:31:22.988Z","dependency_job_id":"721eded4-b6ed-467b-a84c-ae11fab5d369","html_url":"https://github.com/seL4/rust-microkit-demo","commit_stats":null,"previous_names":["coliasgroup/rust-sel4-sel4cp-demo","coliasgroup/rust-microkit-demo","sel4/rust-microkit-demo"],"tags_count":0,"template":false,"template_full_name":null,"purl":"pkg:github/seL4/rust-microkit-demo","repository_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/seL4%2Frust-microkit-demo","tags_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/seL4%2Frust-microkit-demo/tags","releases_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/seL4%2Frust-microkit-demo/releases","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/seL4%2Frust-microkit-demo/manifests","owner_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/seL4","download_url":"https://codeload.github.com/seL4/rust-microkit-demo/tar.gz/refs/heads/main","sbom_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/seL4%2Frust-microkit-demo/sbom","host":{"name":"GitHub","url":"https://github.com","kind":"github","repositories_count":261103434,"owners_count":23109930,"icon_url":"https://github.com/github.png","version":null,"created_at":"2022-05-30T11:31:42.601Z","updated_at":"2022-07-04T15:15:14.044Z","host_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub","repositories_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories","repository_names_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repository_names","owners_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners"}},"keywords":[],"created_at":"2024-11-11T10:16:11.640Z","updated_at":"2025-06-21T10:06:02.778Z","avatar_url":"https://github.com/seL4.png","language":"Rust","funding_links":[],"categories":[],"sub_categories":[],"readme":"\u003c!--\n     Copyright 2023, Colias Group, LLC\n\n     SPDX-License-Identifier: CC-BY-SA-4.0\n--\u003e\n\n# Banscii\n\nThis repository demonstrates the use of the [seL4 crates](https://github.com/seL4/rust-sel4) with\nthe [seL4 Microkit](https://github.com/seL4/microkit).\n\nBanksy has been struggling to keep up with the growing demand for his art. He has decided to\nleverage trustworthy operating system technology to scale up production without compromising the\nintegrity or value of his work. A fleet of _Banscii_ devices will begin producing his art on his\nbehalf. These devices will contain his most precious artistic secrets, along with cryptographic keys\nwhich will be used to authenticate the work they produce.\n\nThe Banscii system is comprised of three components:\n\n- `serial-driver` (untrusted): Serial device driver.\n- `assistant` (untrusted): Interacts with the human operator with a text interface via\n    `serial-driver` to receive subject material and, in concert with `artist`, return authentic works\n    of art. `assistant` takes a subject (a string), renders it to greyscale ASCII art using a\n    TrueType font, and then passes it to `artist` for completion.\n- `artist` (trusted): Receives drafts from `assistant`, which it completes, digitally signs, and\n    then returns as authentic Bansky pieces.\n\n### Rustdoc for the `sel4-microkit` crate\n\nhttps://sel4.github.io/rust-sel4/views/aarch64-microkit/aarch64-sel4-microkit/doc/sel4_microkit/index.html\n\n### Quick start\n\nThe only requirements for getting started are Git, Make, and Docker.\n\nFirst, clone this respository:\n\n```\ngit clone https://github.com/seL4/rust-microkit-demo.git\ncd rust-microkit-demo\n```\n\nNext, build, run, and enter a Docker container for development:\n\n```\nmake -C docker/ run \u0026\u0026 make -C docker/ exec\n```\n\nInside the container, build and emulate the demo:\n\n```\nmake run\n```\n\nAt the prompt, enter some text:\n\n```\nbanscii\u003e Hello, World!\n\n@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@\n@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@\n@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@\n@#x@@@+:@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@=@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@#%@\n@+=@@@:+@@@@%%%@%@@@@@%@@@@@@@#x%@@@@@@@@@ @@@@@@@@ @@@@#x%@@@@%####@@@%@@@@#x++x@@@:=@\n@:x@@@.%@%-=x##@ +@@@+ @@@@%=:++ %@@@@@@@x-@@@#@@@@.@%=:++ %=.:+x#x #@+ @@@+-:%@#:x@.#@\n% xxx= ++x ==+%@ #@@@+-@@@x.#@@#-@@@@@@@@-#@@# #@@x:x.#@@#-@@.%@#=:#@@+:@@@@:x@@%-%+-@@\n:.x#%x-@@==@@+%@.:=++x.==++.++==@%#@@@@@#-@@@- #@@-x+.x+==@@@.## =+++++.==@@==+=+@@.x@@\nx-%@@#.@@%-==x@@@@@@@@@@@@@@%@@@@=:@@@@@==@x:%+.x-+@@%%@@@@@@#+@@%@@@@@@@@@@@%%@@@@%@@@\n@x#@@@:=@@@@@@@@@@@@@@@@@@@@@@@@x=@@@@@@%:=#@@@%x@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@#+@@\n@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@\n@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@\n@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@\n\nSignature:\n3f4314ef18dd2380ce57978b68929c1144ed4066a5f72f14ac84963c3870dd1f\na7cec3ced3c4f7d27c3ab770fc023746dd7991bede3c70cc2392fbddb7e918e4\n35641576ee267c3e08c1b7b628fab90b7750e1b243aadac69bee6b12bb2af043\ndd4ea4d3e5774e283b737ee39066a34fb8ab1ddd723f624c356d0b692179ab2f\nec47f2183ef50a24c9ff79008252dae807dcb144642e5d3877887cc8719adf33\n53b9253ab211ba106d746c722e1c3973aa5bbaad987e19440c6d56934842b311\n83bd3ee3257bb57fcb0aba0e275fa718e47d72706fe8cba1e46df3171f5791c8\ndfa38c0cd6e6a72693b265c077a52e84bd671563fc2d4a056310d6b5023a13cf\n```\n","project_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fsel4%2Frust-microkit-demo","html_url":"https://awesome.ecosyste.ms/projects/github.com%2Fsel4%2Frust-microkit-demo","lists_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fsel4%2Frust-microkit-demo/lists"}