{"payload":{"pageCount":3,"repositories":[{"type":"Public","name":"nuttx","owner":"tiiuae","isFork":true,"description":"Apache NuttX is a mature, real-time embedded operating system (RTOS)","topicNames":[],"topicsNotShown":0,"primaryLanguage":{"name":"C","color":"#555555"},"pullRequestCount":15,"issueCount":0,"starsCount":0,"forksCount":1008,"license":"Apache License 2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-05-10T08:00:50.222Z"}},{"type":"Public","name":"qemu-sel4-virtio","owner":"tiiuae","isFork":false,"description":"","topicNames":[],"topicsNotShown":0,"primaryLanguage":{"name":"C","color":"#555555"},"pullRequestCount":1,"issueCount":0,"starsCount":3,"forksCount":0,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-04-16T05:56:24.889Z"}},{"type":"Public","name":"tii-sel4-vm","owner":"tiiuae","isFork":false,"description":"","topicNames":[],"topicsNotShown":0,"primaryLanguage":{"name":"C","color":"#555555"},"pullRequestCount":5,"issueCount":0,"starsCount":6,"forksCount":3,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-04-16T05:48:49.015Z"}},{"type":"Public","name":"kmod-sel4-virt","owner":"tiiuae","isFork":false,"description":"Linux kernel module to manage seL4 guest VMs","topicNames":[],"topicsNotShown":0,"primaryLanguage":{"name":"C","color":"#555555"},"pullRequestCount":1,"issueCount":0,"starsCount":5,"forksCount":2,"license":"GNU General Public License v2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-04-16T05:47:43.139Z"}},{"type":"Public","name":"shmsockproxy","owner":"tiiuae","isFork":false,"description":"TII SSRC Secure Technologies: Shared Memory Socket Forwarder","topicNames":[],"topicsNotShown":0,"primaryLanguage":{"name":"C","color":"#555555"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":"Apache License 2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-05-10T06:40:35.167Z"}},{"type":"Public","name":"radio_hal","owner":"tiiuae","isFork":false,"description":"Generic Radio HAL for different wireless radio(Wi-Fi/BT/15.4)","topicNames":[],"topicsNotShown":0,"primaryLanguage":{"name":"C","color":"#555555"},"pullRequestCount":0,"issueCount":9,"starsCount":5,"forksCount":0,"license":"BSD 3-Clause \"New\" or \"Revised\" License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-03-11T13:33:14.245Z"}},{"type":"Public","name":"libmetal","owner":"tiiuae","isFork":true,"description":"An abstraction layer across RTOS, baremetal, and user-space Linux environments","topicNames":[],"topicsNotShown":0,"primaryLanguage":{"name":"C","color":"#555555"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":161,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-02-15T11:24:05.624Z"}},{"type":"Public","name":"Micro-XRCE-DDS-Client","owner":"tiiuae","isFork":true,"description":"Micro XRCE-DDS Client repository","topicNames":[],"topicsNotShown":0,"primaryLanguage":{"name":"C","color":"#555555"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":76,"license":"Apache License 2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-02-14T10:58:27.553Z"}},{"type":"Public","name":"nuttx-apps","owner":"tiiuae","isFork":true,"description":"Apache NuttX Apps is a collection of tools, shells, network utilities, libraries, interpreters and can be used with the NuttX RTOS","topicNames":[],"topicsNotShown":0,"primaryLanguage":{"name":"C","color":"#555555"},"pullRequestCount":1,"issueCount":0,"starsCount":0,"forksCount":472,"license":"Apache License 2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-02-12T12:42:48.589Z"}},{"type":"Public","name":"camkes-vm","owner":"tiiuae","isFork":true,"description":"Virtual Machine build as a CAmkES component.","topicNames":[],"topicsNotShown":0,"primaryLanguage":{"name":"C","color":"#555555"},"pullRequestCount":3,"issueCount":0,"starsCount":0,"forksCount":34,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-01-22T11:18:34.681Z"}},{"type":"Public","name":"seL4_projects_libs","owner":"tiiuae","isFork":true,"description":"","topicNames":[],"topicsNotShown":0,"primaryLanguage":{"name":"C","color":"#555555"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":36,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-02-23T13:11:16.299Z"}},{"type":"Public","name":"linux-pkvm-nvidia","owner":"tiiuae","isFork":false,"description":"pkvm version of the linux-nvidia repository that corresponds to linux-pkvm-5.10","topicNames":[],"topicsNotShown":0,"primaryLanguage":{"name":"C","color":"#555555"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-12-12T15:40:20.809Z"}},{"type":"Public","name":"pkvm-nvethernetrm","owner":"tiiuae","isFork":false,"description":"pkvm version of nvethernetrm that corresponds to linux-pkvm-5.10 ","topicNames":[],"topicsNotShown":0,"primaryLanguage":{"name":"C","color":"#555555"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-12-08T17:51:08.547Z"}},{"type":"Public","name":"linux-pkvm-nvgpu","owner":"tiiuae","isFork":false,"description":"pkvm version of linux-nvgpu that corresponds to linux-pkvm-5.10","topicNames":[],"topicsNotShown":0,"primaryLanguage":{"name":"C","color":"#555555"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-12-08T17:45:27.681Z"}},{"type":"Public","name":"linux-pkvm-5.10","owner":"tiiuae","isFork":false,"description":"Jetson kernel with pkvm patches","topicNames":[],"topicsNotShown":0,"primaryLanguage":{"name":"C","color":"#555555"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-04-18T17:32:31.739Z"}},{"type":"Public","name":"tee_hart-software-services","owner":"tiiuae","isFork":false,"description":"","topicNames":[],"topicsNotShown":0,"primaryLanguage":{"name":"C","color":"#555555"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-12-04T14:13:22.853Z"}},{"type":"Public","name":"tee_teeos_host","owner":"tiiuae","isFork":false,"description":"","topicNames":[],"topicsNotShown":0,"primaryLanguage":{"name":"C","color":"#555555"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-12-04T14:09:21.073Z"}},{"type":"Public","name":"tee_optee_client","owner":"tiiuae","isFork":false,"description":"","topicNames":[],"topicsNotShown":0,"primaryLanguage":{"name":"C","color":"#555555"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-12-04T14:01:16.348Z"}},{"type":"Public","name":"tee_seL4","owner":"tiiuae","isFork":false,"description":"","topicNames":[],"topicsNotShown":0,"primaryLanguage":{"name":"C","color":"#555555"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-12-04T13:57:21.136Z"}},{"type":"Public","name":"tee_seL4_teeos","owner":"tiiuae","isFork":false,"description":"","topicNames":[],"topicsNotShown":0,"primaryLanguage":{"name":"C","color":"#555555"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-12-04T13:55:41.837Z"}},{"type":"Public","name":"tee_seL4_teeos_camkes","owner":"tiiuae","isFork":false,"description":"","topicNames":[],"topicsNotShown":0,"primaryLanguage":{"name":"C","color":"#555555"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-12-04T13:52:44.414Z"}},{"type":"Public","name":"tee_sel4test","owner":"tiiuae","isFork":false,"description":"","topicNames":[],"topicsNotShown":0,"primaryLanguage":{"name":"C","color":"#555555"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-12-04T13:38:51.569Z"}},{"type":"Public","name":"tee_seL4_tools","owner":"tiiuae","isFork":false,"description":"Basic tools for building seL4 projects","topicNames":[],"topicsNotShown":0,"primaryLanguage":{"name":"C","color":"#555555"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-12-04T13:35:55.346Z"}},{"type":"Public","name":"tee_optee_os","owner":"tiiuae","isFork":false,"description":"","topicNames":[],"topicsNotShown":0,"primaryLanguage":{"name":"C","color":"#555555"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-12-04T13:31:57.156Z"}},{"type":"Public","name":"opensbi","owner":"tiiuae","isFork":true,"description":"RISC-V Open Source Supervisor Binary Interface","topicNames":[],"topicsNotShown":0,"primaryLanguage":{"name":"C","color":"#555555"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":463,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-10-12T11:12:39.552Z"}},{"type":"Public","name":"vsockproxy","owner":"tiiuae","isFork":false,"description":"TII SSRC Secure Technologies: VSOCK Port Forwarder","topicNames":[],"topicsNotShown":0,"primaryLanguage":{"name":"C","color":"#555555"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":"Apache License 2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-09-25T08:19:37.858Z"}},{"type":"Public","name":"bladeRF","owner":"tiiuae","isFork":true,"description":"bladeRF USB 3.0 Superspeed Software Defined Radio Source Code","topicNames":[],"topicsNotShown":0,"primaryLanguage":{"name":"C","color":"#555555"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":449,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-09-06T04:40:44.523Z"}},{"type":"Public","name":"util_libs","owner":"tiiuae","isFork":true,"description":"","topicNames":[],"topicsNotShown":0,"primaryLanguage":{"name":"C","color":"#555555"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":81,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-08-08T15:18:32.440Z"}},{"type":"Public","name":"seL4_libs","owner":"tiiuae","isFork":true,"description":"No-assurance libraries for rapid-prototyping of seL4 apps. ","topicNames":[],"topicsNotShown":0,"primaryLanguage":{"name":"C","color":"#555555"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":63,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-08-08T14:52:06.794Z"}},{"type":"Public","name":"camkes-vm-examples","owner":"tiiuae","isFork":true,"description":"","topicNames":[],"topicsNotShown":0,"primaryLanguage":{"name":"C","color":"#555555"},"pullRequestCount":0,"issueCount":0,"starsCount":1,"forksCount":27,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-12-05T09:28:49.478Z"}}],"repositoryCount":68,"userInfo":null,"searchable":true,"definitions":[],"typeFilters":[{"id":"all","text":"All"},{"id":"public","text":"Public"},{"id":"source","text":"Sources"},{"id":"fork","text":"Forks"},{"id":"archived","text":"Archived"},{"id":"mirror","text":"Mirrors"},{"id":"template","text":"Templates"}],"compactMode":false},"title":"Repositories"}