Back to Results
First PageMeta Content
Computing platforms / Cross-platform software / Embedded operating systems / NetBSD / Application programming interfaces / Kernel / Thread / Runnable Userspace Meta Programs / Xen / Computing / Software / System software


The rump kernel: A tool for driver development and a toolkit for applications Justin Cormack Abstract
Add to Reading List

Document Date: 2015-03-26 09:02:30

Open Document

File Size: 67,94 KB

Share Result on Facebook

Company

Intel / /

/

Facility

Aalto University / C library / NetBSD C library / /

IndustryTerm

excellent portability to different processor / tap device / tests involving global network / physical hardware / normal userspace debugging tools / virtual ethernet device / physical device / wireless cards / libraries and applications / encrypted block devices / much more infrastructure / rumprun-posix tools / bare metal / building rump kernel targeted applications / file systems / microkernel operating systems / normal operating systems / block device / /

OperatingSystem

Unix / FreeBSD / NetBSD / BSD / Linux / OpenBSD / Posix / /

Organization

Aalto University / /

Person

Justin Cormack / /

Position

driver / NetBSD driver / Linux vfio driver / userspace PCI driver / cross device driver / scheduler / first major PCI driver / /

ProgrammingLanguage

PHP / C++ / /

Technology

ethernet / virtual machine / PHP / Unix / Linux / http / Lua / operating system / html / UDP / operating systems / RAID / web server / SCSI / pdf / /

URL

http /

SocialTag