Open Hub
Open Hub

Tags : Browse Projects

Select a tag to browse associated projects and drill deeper into the tag cloud.

Pistachio

Compare

  No analysis available

L4Ka::Pistachio is the latest L4 microkernel developed by the System Architecture Group at the University of Karlsruhe in collaboration with the DiSy group at the University of New South Wales, Australia. It is the first available kernel implementation of the L4 Version 4 kernel API (currently ... [More] code-named Version X.2), which is fully 32 and 64 bit clean, provides multiprocessor support, and super-fast local IPC. [Less]

0 lines of code

0 current contributors

0 since last commit

2 users on Open Hub

Activity Not Available
5.0
 
0 Reviews
I Use This
Mostly written in language not available
Licenses: BSD-3-Clause
Tags alpha amd64 arm ia32 ia64 ipc itanium kernel l4 microkernel mips ppc32 2 more...

seL4

Compare

  Analyzed 1 day ago

The seL4 microkernel The world's first operating-system kernel with an end-to-end proof of implementation correctness and security enforcement.

1.05M lines of code

58 current contributors

3 days since last commit

2 users on Open Hub

Very High Activity
0.0
 
0 Reviews
I Use This
Mostly written in C
Licenses: GNU_Gener...
Tags haskell isabelle l4 microkernel os proof sel4 verification

Draumr

Compare

  Analyzed about 17 hours ago

Draumr is a 21st century multiprocessing operating system, designed specially for SMP and NUMA.

8.71K lines of code

0 current contributors

almost 13 years since last commit

1 users on Open Hub

Inactive
5.0
 
0 Reviews
I Use This
Mostly written in C
Licenses: BSD-3-Clause
Tags asm c kernel microkernel operatingsystem os osdev smp x86 x86_64

F9 Microkernel

Compare

  Analyzed about 20 hours ago

F9 is an experimental microkernel used to construct flexible embedded systems inspired by famous L4 microkernel. The motivation of F9 microkernel is to deploy modern kernel techniques to support running real-time and time-sharing applications (for example, wireless communications) for ARM Cortex-M ... [More] series microprocessors with efficiency (performance + power consumption) and security (memory protection + isolated execution) in mind. [Less]

32.7K lines of code

0 current contributors

almost 6 years since last commit

1 users on Open Hub

Inactive
0.0
 
0 Reviews
I Use This
Mostly written in C
Licenses: BSD_License
Tags arm ble bsd cortex_m embedded iot l4 microkernel mpu

FemtOS

Compare

  No analysis available

OS project aiming to create a true microkernel

0 lines of code

0 current contributors

0 since last commit

1 users on Open Hub

Activity Not Available
5.0
 
0 Reviews
I Use This
Mostly written in language not available
Licenses: No declared licenses
Tags c i386 kernel microkernel oop operating_system os x86

LtMicros

Compare

  Analyzed about 5 hours ago

A little microkernel based os written in C++

11.6K lines of code

1 current contributors

almost 6 years since last commit

1 users on Open Hub

Inactive
0.0
 
0 Reviews
I Use This
Mostly written in C++
Licenses: No declared licenses
Tags kernel microkernel operatingsystem os

Fiasco

Compare

  Analyzed about 1 hour ago

Fiasco is a new µ-kernel (microkernel) running on x86 PCs intended to be compatible with the L4 µ-kernel for x86. It implements the L4 ABI as defined in the L4/x86 Reference Manual. The Fiasco kernel can be used to construct flexible systems. We at TU Dresden use it as a base for our DROPS ... [More] system which supports running real-time and time-sharing applications concurrently on one computer. However, Fiasco is not only suitable for big and complex systems, but also for small, embedded applications. [Less]

3.81M lines of code

0 current contributors

over 14 years since last commit

1 users on Open Hub

Inactive
4.5
   
0 Reviews
I Use This
Mostly written in C
Licenses: gpl
Tags arm ia32 ipc kernel l4 microkernel real-time source strongarm uml

Cosmos (C# Open Source Managed Operating System)

Compare

  Analyzed about 17 hours ago

COSMOS (C# Open Source Managed Operating System) Cosmos includes a compiler (IL2CPU, which is part of Cosmos) that reads the input file (usually the shell) and Cosmos libraries and compiles the resulting IL to x86 code. IL2CPU has a layer for cross platform and we plan to support other processors ... [More] and platforms, including x64. IL2CPU also supports certain extension methods which allow C# code to interact directly with the CPU, registers, and ports in the kernel. IL2CPU contains some inline assembler, but there are no ASM files that need to be linked in. Currently IL2CPU first outputs raw asm files (with IL comments) and then processes them through nasm (a free assembler). Later we plan to emit directly to binary. [Less]

105K lines of code

11 current contributors

11 months since last commit

1 users on Open Hub

Very Low Activity
5.0
 
0 Reviews
I Use This
Mostly written in C#
Licenses: BSD-3-Clause
Tags aot api assembler c# cli csharp dotnet gc jit kernel managed microkernel 4 more...

Metta

Compare

  Analyzed about 24 hours ago

Metta is a multimedia, mobile, social OS. My goal is to make Metta the platform for social, efficient and fun life on the internet. I call such internet egocentric, because it revolves around your needs and desires. Be free!

443K lines of code

0 current contributors

almost 13 years since last commit

1 users on Open Hub

Inactive
3.0
   
0 Reviews
I Use This
Mostly written in C++
Licenses: boost
Tags asm c++ exokernel jit kernel microkernel mobile nanokernel nucleus operatingsystem os osdev 1 more...

Reaver Project

Compare

  Analyzed about 2 hours ago

57.7K lines of code

1 current contributors

3 months since last commit

1 users on Open Hub

Very Low Activity
0.0
 
0 Reviews
I Use This
Mostly written in C++
Licenses: zlib_libpng
Tags amd64 c++ microkernel operatingsystem os osdev smp x86_64