Tags : Browse Projects

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

Genode OS Framework

Compare

  Analyzed 3 months ago

The Genode operating-system framework extends existing kernels (e.g., microkernel or hypervisor) and provides a uniform API for applications. Kernel support: L4ka::Pistachio, OKL4 (ARM, x86), CodeZero, NOVA, L4/Fiasco, and Linux (x86-32, x86-64)

425K lines of code

20 current contributors

4 months since last commit

7 users on Open Hub

Activity Not Available
5.0
 
I Use This

Pistachio

Compare

  Analyzed over 2 years ago

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]

228K lines of code

0 current contributors

over 11 years since last commit

2 users on Open Hub

Activity Not Available
5.0
 
I Use This

seL4

Compare

  Analyzed 25 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.01M lines of code

58 current contributors

25 days since last commit

2 users on Open Hub

Very High Activity
0.0
 
I Use This

Fiasco

Compare

  Analyzed over 2 years 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.59M lines of code

0 current contributors

almost 11 years since last commit

1 users on Open Hub

Activity Not Available
4.5
   
I Use This

F9 Microkernel

Compare

  Analyzed 22 days 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

over 2 years since last commit

1 users on Open Hub

Inactive
0.0
 
I Use This

l4arm

Compare

  No analysis available

Currently L4Ka Pistachio supports only couple of ARM boards, this project aims at porting it to ARM Integrator and ARM Emulation Base boards. All this is to learn some of the porting basics and about L4 Microkernel family.

0 lines of code

0 current contributors

0 since last commit

0 users on Open Hub

Activity Not Available
0.0
 
I Use This
Mostly written in language not available
Licenses: bsd
Tags arm l4

codezero

Compare

  Analyzed about 3 hours ago

Codezero Microkernel

73.2K lines of code

0 current contributors

7 months since last commit

0 users on Open Hub

Very Low Activity
0.0
 
I Use This

linux-on-minix

Compare

  No analysis available

This is an attempt to port Linux on minix3, the way Linux has been ported on L4. This will allow Minix3 to work as hyperwiser and run existing linux applications on top of this ported linux.

0 lines of code

0 current contributors

0 since last commit

0 users on Open Hub

Activity Not Available
0.0
 
I Use This
Mostly written in language not available
Licenses: gpl

l4rbed

Compare

  No analysis available

L4 rbed

0 lines of code

0 current contributors

0 since last commit

0 users on Open Hub

Activity Not Available
0.0
 
I Use This
Mostly written in language not available
Licenses: gpl

asdfasdfasdgsdy

Compare

  No analysis available

test

0 lines of code

0 current contributors

0 since last commit

0 users on Open Hub

Activity Not Available
0.0
 
I Use This
Mostly written in language not available
Licenses: gpl3_or_l...
Tags l1 l2 l3 l4 l5 l6