{"id":19608675,"url":"https://github.com/sel4/camkes","last_synced_at":"2025-03-17T16:12:48.972Z","repository":{"id":18878244,"uuid":"22095537","full_name":"seL4/camkes","owner":"seL4","description":"Component Architecture test suite and example apps.","archived":false,"fork":false,"pushed_at":"2025-03-13T23:41:25.000Z","size":1221,"stargazers_count":27,"open_issues_count":7,"forks_count":38,"subscribers_count":21,"default_branch":"master","last_synced_at":"2025-03-14T00:31:16.704Z","etag":null,"topics":["camkes"],"latest_commit_sha":null,"homepage":"https://docs.sel4.systems/CAmkES/","language":"C","has_issues":true,"has_wiki":null,"has_pages":null,"mirror_url":null,"source_name":"Lullabot/amp-library","license":"other","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":"LICENSE.md","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}},"created_at":"2014-07-22T07:52:33.000Z","updated_at":"2025-03-13T23:41:29.000Z","dependencies_parsed_at":"2025-02-28T06:34:36.969Z","dependency_job_id":"cf6c136c-1aab-493e-800c-7f0a0d04c2c8","html_url":"https://github.com/seL4/camkes","commit_stats":null,"previous_names":[],"tags_count":1,"template":false,"template_full_name":null,"repository_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/seL4%2Fcamkes","tags_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/seL4%2Fcamkes/tags","releases_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/seL4%2Fcamkes/releases","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/seL4%2Fcamkes/manifests","owner_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/seL4","download_url":"https://codeload.github.com/seL4/camkes/tar.gz/refs/heads/master","host":{"name":"GitHub","url":"https://github.com","kind":"github","repositories_count":244066189,"owners_count":20392406,"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":["camkes"],"created_at":"2024-11-11T10:16:23.624Z","updated_at":"2025-03-17T16:12:48.951Z","avatar_url":"https://github.com/seL4.png","language":"C","funding_links":[],"categories":[],"sub_categories":[],"readme":"\u003c!--\n     Copyright 2017, Data61, CSIRO (ABN 41 687 119 230)\n\n     SPDX-License-Identifier: CC-BY-SA-4.0\n--\u003e\n\n# CAmkES\n\nThis repository contains various CAmkES applications, default configurations\nand testing scripts.\n\n```\n  apps/       Example applications\n  configs/    Default configurations\n  test/       Testing scripts\n```\n\nThis is not a standalone repository. Checkout the `camkes-manifest` repository or\ngo to our website for details.\n\nThe applications in this repository are:\n\n`adder`: demonstrates the use of dataport wrapper to pass pointers via CAmkES RPC\n\n`epit`: demonstrates the use of CAmkES interrupt connector to receive hardware interrupts\n\n`exchangestring`: demonstrates how to pass string arguments between components\n\n`filter`: demonstrates the use of a component to filter communication\n\n`global-imports`:\n\n`hierarchical-attributes`:\n\n`hierarchical-components`:\n\n`keyboard`: demonstrates the use of IO ports and interrupts in a CAmkES component\n\n`lockserver`: demonstrates how to use built-in mutex\n\n`multiassembly`:\n\n`multiclient`: domonstrates multiple clients sharing one connection\n\n`multiplier`: demonstrates the use of arrays as arguments\n\n`mutex`: demonstrates the use of user-defined connectors in CAmkES\n\n`rotate`: demonstrates the use of user-defined types as the arguments of an interface\n\n`swapcounter`:\n\n`socket`: demonstrates the use of user-defined dataports\n\n`structs`: demonstrates the use of struct and array attributes\n\n`terminal`: a prototype for a secure terminal system\n\n`uart`: demonstrates how to access hardware device memory\n","project_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fsel4%2Fcamkes","html_url":"https://awesome.ecosyste.ms/projects/github.com%2Fsel4%2Fcamkes","lists_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fsel4%2Fcamkes/lists"}