{"id":19608676,"url":"https://github.com/sel4/refos","last_synced_at":"2025-08-13T19:39:20.170Z","repository":{"id":22329270,"uuid":"25664742","full_name":"seL4/refos","owner":"seL4","description":"Prototype no-assurance reference OS personality built on seL4","archived":false,"fork":false,"pushed_at":"2025-03-17T00:39:38.000Z","size":3625,"stargazers_count":49,"open_issues_count":1,"forks_count":23,"subscribers_count":26,"default_branch":"master","last_synced_at":"2025-03-27T00:13:03.421Z","etag":null,"topics":[],"latest_commit_sha":null,"homepage":"","language":"C","has_issues":true,"has_wiki":null,"has_pages":null,"mirror_url":null,"source_name":null,"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-10-24T00:55:35.000Z","updated_at":"2025-03-17T00:39:43.000Z","dependencies_parsed_at":"2025-03-27T00:13:29.379Z","dependency_job_id":"97337f8c-855c-4fe6-842b-c7fbf69e975f","html_url":"https://github.com/seL4/refos","commit_stats":null,"previous_names":[],"tags_count":0,"template":false,"template_full_name":null,"repository_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/seL4%2Frefos","tags_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/seL4%2Frefos/tags","releases_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/seL4%2Frefos/releases","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/seL4%2Frefos/manifests","owner_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/seL4","download_url":"https://codeload.github.com/seL4/refos/tar.gz/refs/heads/master","host":{"name":"GitHub","url":"https://github.com","kind":"github","repositories_count":248684841,"owners_count":21145150,"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:24.329Z","updated_at":"2025-04-13T08:35:27.899Z","avatar_url":"https://github.com/seL4.png","language":"C","funding_links":[],"categories":[],"sub_categories":[],"readme":"\u003c!--\n     Copyright 2016, Data61, CSIRO (ABN 41 687 119 230)\n\n     SPDX-License-Identifier: CC-BY-SA-4.0\n--\u003e\n\nRefOS Repository\n================\n\nThis is the git repository for RefOS.\nThis repository is meant to be used as part of a Google repo setup. Instead of cloning it directly,\nplease go to the following repository and follow the instructions there:\n\n    https://github.com/seL4/refos-manifest\n\nRefOS is currently supported on iMX3.1 KZM, iMX6 Sabre Lite and ia32 hardware platforms and\non qemu-ARM kzm and qemu-i386 ia32.\n\nOverview\n--------\n\nThe repository is organised as follows.\n\n * [`impl/apps`](impl/apps/): RefOS system and userland applications\n    * [`selfloader`](impl/apps/selfloader/): Bootstrap application, which is responsible for starting\n      user processes.\n    * [`process_server`](impl/apps/process_server/): The process server, which runs as the root\n      task and provides process and thread abstraction and initialises the entire system.\n    * [`file_server`](impl/apps/file_server/): The cpio file server, which stores files and\n      executables in a cpio archive and exposes them via a dataspace interface.\n    * [`console_server`](impl/apps/console_server/): The console server, a system process which acts\n      as the console device driver and manages serial input and output and EGA text mode output.\n    * [`timer_server`](impl/apps/timer_server/): The timer server, a userland driver process which\n      manages the timer device and provides timer get time and sleep functionality.\n    * [`terminal`](impl/apps/terminal/): The interactive terminal application.\n    * [`test_os`](impl/apps/test_os/): RefOS operating system level test suite, which tests the\n      operating system environment.\n    * [`test_user`](impl/apps/test_os/): RefOS user-level test application, which is responsible for\n      testing the operating system user environment.\n    * [`snake`](impl/apps/snake/): Example snake game.\n    * [`tetris`](impl/apps/tetris/): Example tetris game.\n    * [`nethack`](impl/apps/nethack/): Port of Nethack 3.4.3 roguelike game.\n * [`impl/libs`](impl/libs/): RefOS system and userland applications\n    * [`libdatastruct`](impl/libs/libdatastruct/): RefOS library that provides simple C data structures such as\n      vectors, hash tables and allocation tables.\n    * [`librefos`](impl/libs/librefos/): RefOS user and server shared definitions, RPC specifications and\n      generated stubs and low level helper libraries.\n    * [`librefossys`](impl/libs/librefossys/): RefOS library that implements some POSIX system calls using low-level\n      RefOS and thus allows the C library to work. This directory is intended to simplify RefOS\n      userland applications and facilitate porting.\n * [`impl/docs`](impl/docs/): RefOS doxygen code documentation.\n * [`design`](design/): RefOS protocol design document.\n\nSuggested Future Work\n---------------------\n\nThe following is suggested future work that interested open-source developers could implement:\n\n * Future Work 1: modify how the process server creates and starts processes and threads (see 'Future Work 1' in code)\n * Future Work 2: fix issue where calls to assert_fail() result in infinite recursion on x86 architecture (see 'Future Work 2' in code)\n * Future Work 3: modify how the selfloader bootstraps user processes (see 'Future Work 3' in code)\n * Future Work 4: remove explicit reference to system call table in processes that the process server creates (see 'Future Work 4' in code)\n * Future Work 5: set up muslc's errno in RefOS (see 'Future Work 5' in code)\n * Future Work 6: get ia32_screen_debug_defconfig and ia32_screen_release_defconfig default configurations running with new seL4 API\n * Future Work 7: get Nethack running with new seL4 API\n\nLicense\n-------\n\nRefOS code is released under the BSD license where possible and GPL for some\nexternal software. Please see the individual file headers and\n[`LICENSE.md`](LICENSE.md) for details.\n\nPlease note that RefOS is intended to be sample code and is not high assurance software.\nWe are not reponsible for any consequences if you choose to deploy this software in\nproduction.\n","project_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fsel4%2Frefos","html_url":"https://awesome.ecosyste.ms/projects/github.com%2Fsel4%2Frefos","lists_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fsel4%2Frefos/lists"}