Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About

Search results for kernel ada

ada x
kernel x
12 search results found
Muen ⭐ 73
Official mirror of the Muen Separation Kernel repository
Cubit ⭐ 60
General-purpose, formally-verified, 64-bit operating system in SPARK/Ada for x86-64
Ewok Kernel ⭐ 59
A secure and high performances microkernel for building secure MCU-based IoTs
Bare_bones ⭐ 58
Ada Bare Bones OS development tutorial source code
Cxos ⭐ 23
Operating System development experiment in Ada
Muntsos ⭐ 18
MuntsOS Embedded Linux
Ada_kernel_module_framework ⭐ 16
Framework for writing Linux kernel modules in Ada
Havk ⭐ 10
An attempt at a minimalistic and secure operating system.
Muen ⭐ 9
An x86/64 Separation Kernel for High Assurance
Moth ⭐ 6
Minimalist cooperative operating system supporting multiple tasks with MMU protection
Tamp2 ⭐ 5
The Ada Monolithic kernel Project
Rose ⭐ 5
Persistent capability-based kernel
Related Searches
C Kernel (12,842)
Kernel Unix (6,775)
Python Kernel (1,566)
Shell Kernel (1,485)
Kernel Driver (1,461)
C Plus Plus Kernel (1,226)
Jupyter Notebook Kernel (622)
Kernel Operating System (574)
Kernel Qemu (524)
Kernel Arm (428)
1-12 of 12 search results
Privacy | About | Terms | Follow Us On Twitter

Copyright 2018-2024 Awesome Open Source.  All rights reserved.