{"payload":{"pageCount":3,"repositories":[{"type":"Public","name":"fpga_template","owner":"dornerworks","isFork":false,"description":"An FPGA design template with associated scripts for the Xilinx Vivado toolchain.","allTopics":[],"primaryLanguage":{"name":"Tcl","color":"#e4cc98"},"pullRequestCount":0,"issueCount":0,"starsCount":8,"forksCount":2,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-06-28T13:34:53.584Z"}},{"type":"Public","name":"meta-inspecta-sut","owner":"dornerworks","isFork":false,"description":"Yocto layer to create Linuxs configurations for INSPECTA SUT","allTopics":[],"primaryLanguage":{"name":"Shell","color":"#89e051"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":"BSD 2-Clause \"Simplified\" License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-05-24T14:14:00.897Z"}},{"type":"Public","name":"yocto-builder","owner":"dornerworks","isFork":false,"description":"Docker container for building Yocto images","allTopics":[],"primaryLanguage":{"name":"Dockerfile","color":"#384d54"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":"BSD 2-Clause \"Simplified\" License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-05-23T18:50:47.468Z"}},{"type":"Public","name":"inspecta-yocto-manifest","owner":"dornerworks","isFork":false,"description":"","allTopics":[],"primaryLanguage":null,"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":"BSD 2-Clause \"Simplified\" License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-05-23T18:32:30.991Z"}},{"type":"Public","name":"ardupilot-container","owner":"dornerworks","isFork":false,"description":"Ardupilot container targeted for AARCH64 platforms. Tested on the Zynq UltraScale+ MPSoC.","allTopics":[],"primaryLanguage":{"name":"Shell","color":"#89e051"},"pullRequestCount":0,"issueCount":0,"starsCount":1,"forksCount":0,"license":"BSD 2-Clause \"Simplified\" License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-05-23T15:07:49.231Z"}},{"type":"Public","name":"camkes-vm","owner":"dornerworks","isFork":true,"description":"Virtual Machine build as a CAmkES component.","allTopics":[],"primaryLanguage":{"name":"C","color":"#555555"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":35,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-04-30T16:05:21.163Z"}},{"type":"Public","name":"seL4_projects_libs","owner":"dornerworks","isFork":true,"description":"","allTopics":[],"primaryLanguage":{"name":"C","color":"#555555"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":36,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-04-30T15:36:18.183Z"}},{"type":"Public","name":"uav-demo-images","owner":"dornerworks","isFork":false,"description":"VM images for seL4-based UAV demo","allTopics":[],"primaryLanguage":{"name":"CMake","color":"#DA3434"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-04-29T13:26:12.306Z"}},{"type":"Public","name":"projects_libs","owner":"dornerworks","isFork":true,"description":"","allTopics":[],"primaryLanguage":{"name":"C++","color":"#f34b7d"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":19,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-04-26T19:32:07.342Z"}},{"type":"Public","name":"uav-demo-apps","owner":"dornerworks","isFork":false,"description":"CAmkES VMM based application on seL4 for UAV isolation.","allTopics":[],"primaryLanguage":null,"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-04-26T18:02:27.622Z"}},{"type":"Public","name":"seL4_tools","owner":"dornerworks","isFork":true,"description":"","allTopics":[],"primaryLanguage":{"name":"C","color":"#555555"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":88,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-04-26T17:43:42.765Z"}},{"type":"Public","name":"util_libs","owner":"dornerworks","isFork":true,"description":"","allTopics":[],"primaryLanguage":{"name":"C","color":"#555555"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":83,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-04-26T17:43:41.812Z"}},{"type":"Public","name":"seL4_libs","owner":"dornerworks","isFork":true,"description":"","allTopics":[],"primaryLanguage":{"name":"C","color":"#555555"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":63,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-04-26T17:43:39.199Z"}},{"type":"Public","name":"global-components","owner":"dornerworks","isFork":true,"description":"","allTopics":[],"primaryLanguage":{"name":"C","color":"#555555"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":30,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-04-26T17:43:36.152Z"}},{"type":"Public","name":"capdl","owner":"dornerworks","isFork":true,"description":"","allTopics":[],"primaryLanguage":{"name":"Haskell","color":"#5e5086"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":46,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-04-26T17:43:34.596Z"}},{"type":"Public","name":"camkes-vm-linux","owner":"dornerworks","isFork":true,"description":"","allTopics":[],"primaryLanguage":{"name":"CMake","color":"#DA3434"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":13,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-04-26T17:43:33.309Z"}},{"type":"Public","name":"camkes-tool","owner":"dornerworks","isFork":true,"description":"The main CAmkES tool","allTopics":[],"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":68,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-04-26T17:43:29.686Z"}},{"type":"Public","name":"seL4","owner":"dornerworks","isFork":true,"description":"The seL4 microkernel","allTopics":[],"primaryLanguage":{"name":"C","color":"#555555"},"pullRequestCount":0,"issueCount":0,"starsCount":2,"forksCount":655,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-04-26T17:43:28.227Z"}},{"type":"Public","name":"sel4test","owner":"dornerworks","isFork":true,"description":"Test suite for seL4.","allTopics":[],"primaryLanguage":{"name":"C","color":"#555555"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":59,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-08-30T13:06:52.209Z"}},{"type":"Public","name":"opensbi","owner":"dornerworks","isFork":true,"description":"RISC-V Open Source Supervisor Binary Interface","allTopics":[],"primaryLanguage":{"name":"C","color":"#555555"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":491,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-08-25T14:45:28.754Z"}},{"type":"Public","name":"Cirrious.FluentLayout.Extensions","owner":"dornerworks","isFork":false,"description":"Extensions for Cirrious.FluentLayout","allTopics":[],"primaryLanguage":{"name":"C#","color":"#178600"},"pullRequestCount":2,"issueCount":0,"starsCount":0,"forksCount":1,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-07-11T17:49:18.700Z"}},{"type":"Public","name":"seL4-CAmkES-L4v-dockerfiles","owner":"dornerworks","isFork":true,"description":"Dockerfiles defining the dependencies required to build seL4, CAmkES, and L4v.","allTopics":[],"primaryLanguage":{"name":"Shell","color":"#89e051"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":39,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-05-17T15:55:08.642Z"}},{"type":"Public","name":"Vivado-Prebuilts","owner":"dornerworks","isFork":false,"description":"This repo contains the items necessary to boot the RocketChip on the ZCU102 FPGA fabric.","allTopics":[],"primaryLanguage":{"name":"Tcl","color":"#e4cc98"},"pullRequestCount":0,"issueCount":1,"starsCount":1,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-02-16T15:19:53.500Z"}},{"type":"Public","name":"bao-demos","owner":"dornerworks","isFork":true,"description":"A guide on how to build and use a set of Bao guest configurations for various platforms","allTopics":[],"primaryLanguage":{"name":"Makefile","color":"#427819"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":37,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-02-13T10:41:52.435Z"}},{"type":"Public archive","name":"Mvx.FluentTableView","owner":"dornerworks","isFork":false,"description":"Use Cirrious.FluentLayout with MvvmCross UITableViews.","allTopics":[],"primaryLanguage":{"name":"C#","color":"#178600"},"pullRequestCount":1,"issueCount":0,"starsCount":0,"forksCount":0,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-01-09T04:02:21.406Z"}},{"type":"Public archive","name":"Mvx.Forms.PageWrapper","owner":"dornerworks","isFork":false,"description":"","allTopics":[],"primaryLanguage":{"name":"C#","color":"#178600"},"pullRequestCount":10,"issueCount":1,"starsCount":3,"forksCount":0,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-01-06T22:01:35.483Z"}},{"type":"Public","name":"docs","owner":"dornerworks","isFork":true,"description":"This is the source of the seL4 docs.","allTopics":[],"primaryLanguage":{"name":"C","color":"#555555"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":52,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2022-10-31T14:11:15.958Z"}},{"type":"Public","name":"xen-rpi4-builder","owner":"dornerworks","isFork":false,"description":"","allTopics":[],"primaryLanguage":{"name":"Shell","color":"#89e051"},"pullRequestCount":1,"issueCount":4,"starsCount":56,"forksCount":13,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2022-08-08T06:46:42.575Z"}},{"type":"Public","name":"dockerfiles","owner":"dornerworks","isFork":false,"description":"","allTopics":[],"primaryLanguage":{"name":"Dockerfile","color":"#384d54"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2022-08-02T13:57:48.771Z"}},{"type":"Public","name":"robotframework-tutorial","owner":"dornerworks","isFork":false,"description":"Code that corresponds to a walk-through tutorial of robot-framework.","allTopics":[],"primaryLanguage":{"name":"RobotFramework","color":"#00c0b5"},"pullRequestCount":2,"issueCount":0,"starsCount":4,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2022-03-29T22:02:00.190Z"}}],"repositoryCount":76,"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":"template","text":"Templates"}],"compactMode":false},"title":"dornerworks repositories"}