{"payload":{"pageCount":1,"repositories":[{"type":"Public","name":"mk","owner":"kernkonzept","isFork":false,"description":"The build system for the L4Re operating system.","allTopics":[],"primaryLanguage":{"name":"C","color":"#555555"},"pullRequestCount":1,"issueCount":0,"starsCount":6,"forksCount":6,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-07-17T11:08:44.696Z"}},{"type":"Public","name":"l4re-core","owner":"kernkonzept","isFork":false,"description":"The core components of the L4Re operating system.","allTopics":["arm","mips","multiserver","operating-system","x86","microkernel","l4"],"primaryLanguage":{"name":"C++","color":"#f34b7d"},"pullRequestCount":0,"issueCount":3,"starsCount":71,"forksCount":16,"license":"GNU General Public License v2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-07-17T11:08:42.543Z"}},{"type":"Public","name":"l4_virtio-net-switch","owner":"kernkonzept","isFork":false,"description":"Virtual network switch for multiple VIRTIO network devices.","allTopics":[],"primaryLanguage":{"name":"C++","color":"#f34b7d"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-07-17T11:08:39.743Z"}},{"type":"Public","name":"io","owner":"kernkonzept","isFork":false,"description":"IO handles access to platform devices and resources","allTopics":["arm","mips","virtualization","multiserver","x86","device-driver","l4","iommu"],"primaryLanguage":{"name":"C++","color":"#f34b7d"},"pullRequestCount":0,"issueCount":0,"starsCount":4,"forksCount":2,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-07-17T11:08:38.118Z"}},{"type":"Public","name":"fiasco","owner":"kernkonzept","isFork":false,"description":"The development version of the L4Re Microkernel","allTopics":["arm","mips","realtime","virtualization","hypervisor","operating-system","x86","microkernel","l4"],"primaryLanguage":{"name":"C++","color":"#f34b7d"},"pullRequestCount":0,"issueCount":0,"starsCount":93,"forksCount":23,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-07-17T11:08:36.176Z"}},{"type":"Public","name":"bootstrap","owner":"kernkonzept","isFork":false,"description":"The bootloader of the L4Re operating system.","allTopics":[],"primaryLanguage":{"name":"C++","color":"#f34b7d"},"pullRequestCount":0,"issueCount":0,"starsCount":8,"forksCount":4,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-07-17T11:08:34.293Z"}},{"type":"Public","name":"atkins","owner":"kernkonzept","isFork":false,"description":"Tools for testing L4 applications.","allTopics":[],"primaryLanguage":{"name":"C++","color":"#f34b7d"},"pullRequestCount":0,"issueCount":1,"starsCount":0,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-07-17T11:08:32.724Z"}},{"type":"Public","name":"virtio-net","owner":"kernkonzept","isFork":false,"description":"A virtual peer-to-peer link between two Virtio network devices","allTopics":[],"primaryLanguage":{"name":"C++","color":"#f34b7d"},"pullRequestCount":0,"issueCount":0,"starsCount":5,"forksCount":3,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-07-04T15:35:58.058Z"}},{"type":"Public","name":"uvmm","owner":"kernkonzept","isFork":false,"description":"Virtual machine monitor for L4Re","allTopics":["linux","arm","mips","virtual-machine","x86-64","virtualization","hypervisor","virtio","l4"],"primaryLanguage":{"name":"C++","color":"#f34b7d"},"pullRequestCount":0,"issueCount":1,"starsCount":27,"forksCount":6,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-07-04T15:35:56.166Z"}},{"type":"Public","name":"l4virtio","owner":"kernkonzept","isFork":false,"description":"Implementation of the virtio protocol for L4Re","allTopics":["arm","mips","x86","l4","virtio-protocol"],"primaryLanguage":{"name":"C++","color":"#f34b7d"},"pullRequestCount":0,"issueCount":0,"starsCount":2,"forksCount":2,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-07-04T15:35:53.302Z"}},{"type":"Public","name":"cons","owner":"kernkonzept","isFork":false,"description":"Console multiplexer for the L4Re operating system","allTopics":[],"primaryLanguage":{"name":"C++","color":"#f34b7d"},"pullRequestCount":0,"issueCount":0,"starsCount":3,"forksCount":1,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-07-04T15:35:45.731Z"}},{"type":"Public","name":"drivers-frst","owner":"kernkonzept","isFork":false,"description":"Low level drivers for initial booting of the L4Re operating system.","allTopics":[],"primaryLanguage":{"name":"C++","color":"#f34b7d"},"pullRequestCount":0,"issueCount":0,"starsCount":4,"forksCount":3,"license":"GNU General Public License v2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-06-14T09:02:58.169Z"}},{"type":"Public","name":"rtc","owner":"kernkonzept","isFork":false,"description":"L4Re RTC server ","allTopics":[],"primaryLanguage":{"name":"C++","color":"#f34b7d"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-05-21T11:56:03.965Z"}},{"type":"Public","name":"manifest","owner":"kernkonzept","isFork":false,"description":"The main L4Re manifest to checkout the L4Re operating system.","allTopics":[],"primaryLanguage":null,"pullRequestCount":0,"issueCount":9,"starsCount":18,"forksCount":5,"license":"GNU General Public License v2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-05-21T11:56:00.743Z"}},{"type":"Public","name":"acpica","owner":"kernkonzept","isFork":false,"description":"The ACPICA library with some adaptions for L4Re","allTopics":[],"primaryLanguage":{"name":"C","color":"#555555"},"pullRequestCount":0,"issueCount":0,"starsCount":2,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-05-21T11:55:52.038Z"}},{"type":"Public","name":"gnu-efi","owner":"kernkonzept","isFork":false,"description":"Port of gnu-efi together with make files for building it inside the L4Re tree.","allTopics":[],"primaryLanguage":{"name":"C","color":"#555555"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-05-09T11:04:39.068Z"}},{"type":"Public","name":"nvme-driver","owner":"kernkonzept","isFork":false,"description":"L4Re NVMe server","allTopics":[],"primaryLanguage":{"name":"C++","color":"#f34b7d"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-04-19T11:33:05.911Z"}},{"type":"Public","name":"libvcpu","owner":"kernkonzept","isFork":false,"description":"Library with convenience function to work with vCPUs on L4Re","allTopics":[],"primaryLanguage":{"name":"C++","color":"#f34b7d"},"pullRequestCount":0,"issueCount":0,"starsCount":4,"forksCount":1,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-04-19T11:33:02.378Z"}},{"type":"Public","name":"libblock-device","owner":"kernkonzept","isFork":false,"description":"L4Re block device library","allTopics":[],"primaryLanguage":{"name":"C++","color":"#f34b7d"},"pullRequestCount":0,"issueCount":0,"starsCount":1,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-04-04T10:03:09.596Z"}},{"type":"Public","name":"ahci-driver","owner":"kernkonzept","isFork":false,"description":"L4Re AHCI server","allTopics":[],"primaryLanguage":{"name":"C++","color":"#f34b7d"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-03-21T11:44:07.728Z"}},{"type":"Public","name":"zlib","owner":"kernkonzept","isFork":false,"description":"A port of the zlib library together with make files for building it inside the L4Re tree.","allTopics":[],"primaryLanguage":{"name":"C","color":"#555555"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-03-14T12:02:39.480Z"}},{"type":"Public","name":"readline","owner":"kernkonzept","isFork":false,"description":"A port of the readline library together with make files for building it inside the L4Re tree.","allTopics":[],"primaryLanguage":{"name":"C","color":"#555555"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-03-14T12:02:34.060Z"}},{"type":"Public","name":"libfdt","owner":"kernkonzept","isFork":false,"description":"The device tree library","allTopics":[],"primaryLanguage":{"name":"C","color":"#555555"},"pullRequestCount":0,"issueCount":0,"starsCount":15,"forksCount":3,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-03-14T12:02:27.893Z"}},{"type":"Public","name":"hello","owner":"kernkonzept","isFork":false,"description":"A simple Hello World application for the L4Re operating system.","allTopics":[],"primaryLanguage":{"name":"C","color":"#555555"},"pullRequestCount":0,"issueCount":0,"starsCount":3,"forksCount":1,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-03-14T12:02:18.762Z"}},{"type":"Public","name":"ham","owner":"kernkonzept","isFork":false,"description":"","allTopics":[],"primaryLanguage":{"name":"Perl","color":"#0298c3"},"pullRequestCount":0,"issueCount":0,"starsCount":7,"forksCount":5,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-11-02T15:41:53.170Z"}},{"type":"Public","name":"tvmm","owner":"kernkonzept","isFork":false,"description":"Virtual machine monitor for the L4Re operating system when running on MPU based systems","allTopics":[],"primaryLanguage":null,"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-10-27T15:47:46.153Z"}},{"type":"Public","name":"tinit","owner":"kernkonzept","isFork":false,"description":"L4Re component that brings up the system on resource constrained platforms","allTopics":[],"primaryLanguage":null,"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-10-27T15:47:26.345Z"}},{"type":"Public","name":"demo-l4re-micro-hypervisor","owner":"kernkonzept","isFork":false,"description":"L4Re Micro Hypervisor demo for Cortex-R52 and Cortex-R82","allTopics":[],"primaryLanguage":{"name":"C","color":"#555555"},"pullRequestCount":0,"issueCount":0,"starsCount":4,"forksCount":2,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-04-05T14:48:37.846Z"}}],"repositoryCount":28,"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":"kernkonzept repositories"}