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
 
I Use This
Mostly written in language not available
Licenses: BSD-3-Clause

seL4

Compare

  Analyzed 2 days ago

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

1.03M lines of code

58 current contributors

3 days since last commit

2 users on Open Hub

Very High Activity
0.0
 
I Use This

Draumr

Compare

  Analyzed about 1 hour ago

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

8.71K lines of code

0 current contributors

over 11 years since last commit

1 users on Open Hub

Inactive
5.0
 
I Use This

F9 Microkernel

Compare

  Analyzed 1 day 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

about 4 years since last commit

1 users on Open Hub

Inactive
0.0
 
I Use This

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
 
I Use This
Mostly written in language not available
Licenses: No declared licenses

LtMicros

Compare

  Analyzed about 1 hour ago

A little microkernel based os written in C++

11.6K lines of code

1 current contributors

about 4 years since last commit

1 users on Open Hub

Inactive
0.0
 
I Use This
Licenses: No declared licenses

Fiasco

Compare

  Analyzed 1 day 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 12 years since last commit

1 users on Open Hub

Inactive
4.5
   
I Use This

Cosmos (C# Open Source Managed Operating System)

Compare

  Analyzed 1 day 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]

104K lines of code

11 current contributors

14 days since last commit

1 users on Open Hub

High Activity
5.0
 
I Use This

Metta

Compare

  Analyzed 1 day 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

about 11 years since last commit

1 users on Open Hub

Inactive
3.0
   
I Use This

Reaver Project

Compare

  Analyzed about 23 hours ago

57.7K lines of code

1 current contributors

6 days since last commit

1 users on Open Hub

Low Activity
0.0
 
I Use This