{"id":19608659,"url":"https://github.com/sel4/camkes-vm-examples-manifest","last_synced_at":"2026-03-03T01:40:53.115Z","repository":{"id":38282938,"uuid":"133463559","full_name":"seL4/camkes-vm-examples-manifest","owner":"seL4","description":null,"archived":false,"fork":false,"pushed_at":"2026-02-20T21:11:39.000Z","size":471,"stargazers_count":6,"open_issues_count":0,"forks_count":18,"subscribers_count":18,"default_branch":"master","last_synced_at":"2026-02-21T02:36:18.594Z","etag":null,"topics":["camkes"],"latest_commit_sha":null,"homepage":"","language":null,"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/BSD-2-Clause.txt","code_of_conduct":".github/CODE_OF_CONDUCT.md","threat_model":null,"audit":null,"citation":null,"codeowners":null,"security":null,"support":null,"governance":null,"roadmap":null,"authors":null,"dei":null,"publiccode":null,"codemeta":null,"zenodo":null,"notice":null,"maintainers":null,"copyright":null,"agents":null,"dco":null,"cla":null}},"created_at":"2018-05-15T05:27:32.000Z","updated_at":"2026-02-20T21:11:43.000Z","dependencies_parsed_at":"2026-01-12T14:00:08.984Z","dependency_job_id":null,"html_url":"https://github.com/seL4/camkes-vm-examples-manifest","commit_stats":null,"previous_names":[],"tags_count":9,"template":false,"template_full_name":null,"purl":"pkg:github/seL4/camkes-vm-examples-manifest","repository_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/seL4%2Fcamkes-vm-examples-manifest","tags_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/seL4%2Fcamkes-vm-examples-manifest/tags","releases_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/seL4%2Fcamkes-vm-examples-manifest/releases","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/seL4%2Fcamkes-vm-examples-manifest/manifests","owner_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/seL4","download_url":"https://codeload.github.com/seL4/camkes-vm-examples-manifest/tar.gz/refs/heads/master","sbom_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/seL4%2Fcamkes-vm-examples-manifest/sbom","scorecard":null,"host":{"name":"GitHub","url":"https://github.com","kind":"github","repositories_count":286080680,"owners_count":30029706,"icon_url":"https://github.com/github.png","version":null,"created_at":"2022-05-30T11:31:42.601Z","updated_at":"2026-03-03T00:31:48.536Z","status":"ssl_error","status_checked_at":"2026-03-03T00:30:56.176Z","response_time":60,"last_error":"SSL_read: unexpected eof while reading","robots_txt_status":"success","robots_txt_updated_at":"2025-07-24T06:49:26.215Z","robots_txt_url":"https://github.com/robots.txt","online":false,"can_crawl_api":true,"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":["camkes"],"created_at":"2024-11-11T10:16:18.574Z","updated_at":"2026-03-03T01:40:53.081Z","avatar_url":"https://github.com/seL4.png","language":null,"funding_links":[],"categories":[],"sub_categories":[],"readme":"\u003c!--\n     Copyright 2018, Data61, CSIRO\n\n     SPDX-License-Identifier: CC-BY-SA-4.0\n--\u003e\n\nCAmkES VM Examples Manifest\n===========================\n\nThe CAmkES VMM is a Virtual Machine Monitor that utilizes the CAmkES component platform.\nDue to the static nature of CAmkES systems the VMM is specified at build time to run\non a particular hardware platform. Currently the VMM is mostly targeted to run on the\nC162 platform from Aitech. There is also a configuration for running on generic x86\nmachines, but it has almost no hardware support.\n\nThis project fetches example CAmkES VM applications to build and use. These being optiplex9020, minimal and cma34cr\\_centos.\n\nFor general instructions on how to use this repository, see [docs.seL4.systems](https://docs.sel4.systems/Resources.html).\n\nFor general information about CAmkES see [the CAmkES pages on docs.seL4.systems](https://docs.sel4.systems/CAmkES/).\n\nFor detailed information about CAmkES see documentation in [the camkes-tool repo](https://github.com/seL4/camkes-tool/blob/master/docs/index.md).\n\nFor detailed information about the VM on the C162 platform see the documention in [the camkes-vm repo](https://github.com/seL4/camkes-vm/blob/master/README.md).\n\nFor detailed information about the example VM applications and how to build them see the documentation in [the camkes-vm-examples repo](https://github.com/seL4/camkes-vm-examples/blob/master/README.md).\n","project_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fsel4%2Fcamkes-vm-examples-manifest","html_url":"https://awesome.ecosyste.ms/projects/github.com%2Fsel4%2Fcamkes-vm-examples-manifest","lists_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fsel4%2Fcamkes-vm-examples-manifest/lists"}