Tags : Browse Projects

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

Genode OS Framework

Analyzed 12 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)

438K lines of code

20 current contributors

about 1 year since last commit

7 users on Open Hub

Activity Not Available

I Use This

Mostly written in C++

Tags c++ l4 linux operating_system_kernels rumpkernel security

Rump Kernels

Analyzed 12 months ago

Rump kernels provide free, portable, componentized, kernel quality drivers such as file systems, POSIX system call handlers, PCI device drivers, a SCSI protocol stack, virtio and a TCP/IP stack. The fundamental enabling technology is the anykernel architecture of NetBSD, which enables the use of ... [More]

127K lines of code

0 current contributors

over 4 years since last commit

2 users on Open Hub

Activity Not Available

I Use This

Mostly written in C

Licenses: BSD-2-Cla...

Tags netbsd rumpkernel

rumprun

Analyzed 12 months ago

The rumprun unikernel for cloud and embedded platforms.

60.9K lines of code

0 current contributors

over 4 years since last commit

1 users on Open Hub

Activity Not Available

I Use This

Mostly written in C

Licenses: CC0-1-0

Tags netbsd rumpkernel

buildrump.sh

Analyzed 12 months ago

Utilities for building NetBSD kernel drivers as rump kernels for a variety of systems

5.5K lines of code

0 current contributors

over 7 years since last commit

1 users on Open Hub

Activity Not Available

I Use This

Mostly written in C

Licenses: BSD-2-Cla...

Tags netbsd rumpkernel

ljsyscall

Analyzed 12 months ago

LuaJIT Linux syscall FFI

35.4K lines of code

0 current contributors

about 3 years since last commit

1 users on Open Hub

Activity Not Available

I Use This

Mostly written in Lua

Tags ffi freebsd linux lua luajit netbsd openbsd osx rumpkernel syscall

rumpkernel-drv-netif-dpdk

Analyzed 12 months ago

TCP/IP stack for DPDK; uses rump kernels

839 lines of code

0 current contributors

about 9 years since last commit

0 users on Open Hub

Activity Not Available

I Use This

Mostly written in C

Licenses: No declared licenses

Tags dpdk netbsd rumpkernel

rumpfiber

Analyzed 12 months ago

Rump kernel hypercall library using fibers for threading

2.91K lines of code

0 current contributors

over 10 years since last commit

0 users on Open Hub

Activity Not Available

I Use This

Mostly written in C

Licenses: BSD-2-Cla...

Tags netbsd rumpkernel