https://github.com/kernkonzept/l4re-core

The core components of the L4Re operating system.
https://github.com/kernkonzept/l4re-core

arm l4 microkernel mips multiserver operating-system x86

Last synced: 8 months ago
JSON representation

The core components of the L4Re operating system.

• Host: GitHub
• URL: https://github.com/kernkonzept/l4re-core
• Owner: kernkonzept
• License: gpl-2.0
• Created: 2018-07-02T14:24:34.000Z (almost 8 years ago)
• Default Branch: master
• Last Pushed: 2025-10-03T09:28:30.000Z (8 months ago)
• Last Synced: 2025-10-03T11:35:57.304Z (8 months ago)
• Topics: arm, l4, microkernel, mips, multiserver, operating-system, x86
• Language: C++
• Size: 36.8 MB
• Stars: 93
• Watchers: 14
• Forks: 19
• Open Issues: 3
• Metadata Files:
  • Readme: README.md
  • License: COPYING
  • Security: SECURITY.md

Awesome Lists containing this project

• awesomeos - L4re - Operating system and hypervisor for security/safety-critical and virtualization-enabled applications. (Open Source Operating Systems)
• awesome-os - L4re - Operating system and hypervisor for security/safety-critical and virtualization-enabled applications. (Open Source Operating Systems)