Rump Kernel

Componentized, platform-independent kernel-quality drivers, e.g. file systems, TCP/IP, SCSI & PCI. Also the home of the Rumprun unikernel.

[Rump Kernel @rumpkernel]

Second edition of the book "The Design and Implementation of the Anykernel and Rump Kernels" is now available from https://t.co/yEb9CqncXK

[NetBSD Foundation @netbsd]

GSoC Reports: Fuzzing Rumpkernel Syscalls Part 1 by Aditya Vardhan Padala https://t.co/WkDJqMs1RL

[NetBSD Foundation @netbsd]

GSoC Reports: Fuzzing the NetBSD Network Stack in a Rumpkernel Environment Part 1 by Nisarg Joshi https://t.co/4qFjYZUy33

[Rump Kernel @rumpkernel]

Rump kernels were created for this type of work:
https://t.co/bMKcAyv5Dy

They happened to have other applications as well, but unless the drivers composing the rump kernels are of quality, the other applications are worthless.

[Rump Kernel @rumpkernel]

Nice work and great write-up! https://t.co/RIVoQ3vu2q

[Gernot Heiser @GernotHeiser]

Rump kernel port to #seL4 provides easy reuse of NetBSD device drivers and network stacks https://t.co/4nZECK3xD6

[Rump Kernel @rumpkernel]

GWU Systems Group working on Composite reports victory with Rump Kernels:
"great enabling technology"
https://t.co/pWujfDcbhs

[Rump Kernel @rumpkernel]

OpenJDK brings initial Java support to the Rumprun unikernel, thanks to a brave contributor. https://t.co/iP0pNpP0JM

[Neeraj @nsharma9]

Honored selected to give a talk at the EUC 2016 - Erlang on Rumprun unikernel. #erlangfactory https://t.co/HN79V0jD7i @rumpkernel

[Rump Kernel @rumpkernel]

Rumprun unikernel video series part 4: internals of the Rumprun unikernel
https://t.co/VmrejvHdM1

[Kyle Amon @supradix]

@rumpkernel tor relay in a rump kernel... https://t.co/BhYQXq2Icz :D even made a rumprun-package. needs tweaking, but not bad for a sunday.

[Rump Kernel @rumpkernel]

One way to deploy Rumprun unikernels is to use the Docker infrastructure via docker-unikernel-runner by @matolucina https://t.co/6HmdjfgfGU

[Rump Kernel @rumpkernel]

"Running Go on Rumprun" will be presented by Ian Eyberg/@deferpanic at #SCALE14x on Jan 22 https://t.co/YvH5yn4qjh

[deferPanic @deferPanic]

thanks to @anttikantee there is now #golang support for running on the #Rumprun #unikernel - let's go 2016!! https://t.co/rOMDPCdMqt

[Rump Kernel @rumpkernel]

Rumprun unikernel video series part 3: using gdb on an application under Rumprun
https://t.co/3vevMlVj4o

[Rump Kernel @rumpkernel]

Rumprun unikernel video series, part 2: an in-depth look at the build/launch commands
https://t.co/bS8hA72Bqs

[Rump Kernel @rumpkernel]

For historical curiosity, two "new" papers were uploaded and added to the publications page, tagged UNPUBLISHED. https://t.co/2biCK6D7TD

[Rump Kernel @rumpkernel]

Composite OS (https://t.co/bTQxtMRMOs) joins the group of systems looking towards rump kernels for driver components.

[Rump Kernel @rumpkernel]

Rumprun unikernel video series, part 1: tutorial, where we turn mpg123 into a unikernel runnable on QEMU/KVM
https://t.co/SUco2pBpFq

[Rump Kernel @rumpkernel]

How to build the Rumprun unikernel on a Mac OS X host: https://t.co/3NtSBvCCUq

with thanks to @portedegrange, @matolucina & @Argorak

[Rump Kernel @rumpkernel]

Congrats to @gandro23 for giving his first ever conference talk ... and on a very cool subject too ;-) https://t.co/kU0YHEqgXK