Hacker GitHub

← All repos

rumpkernel/wiki

View on GitHub ↗ ★ 467

Wiki for rump kernels

14 mentions on Hacker News by 11 people: 5 stories, 9 comments · first 2014-06-30 · latest 2025-10-15

Mentions per year 14 mentions · busiest year 2015 (8)
20082026
AllStoriesComments NewestTopOldest
  1. …required to run "bare metal". Which is what the SSH example in the smol page brought to mind. See https://github.com/rumpkernel/wiki/wiki/Repo%3A-rumprun
    comment by jmmv · 2025-10-15 · in SmolBSD – build your own minimal BSD system
  2. Or NetBSD drivers via rump: https://github.com/rumpkernel/wiki
    comment by joveian · 2024-01-03 · in Maestro: A Linux-compatible kernel in Rust
  3. …https://www.linux.com/blog/event/xen-summit/2017/9/uniprof-t... https://github.com/rumpkernel/wiki/wiki/Howto:-Debugging-Rum...
    comment by eyberg · 2019-06-26 · in Ask HN: Why unikernels are not more popular?
  4. …and they seemed to have improved ergonomics massively), but the limitations[6] are intense. [0]: https://github.com/rumpkernel/wiki/wiki/Info:-FAQ [1]: https://github.com/rumpkernel/rumprun-packages [2]:…
    comment by hardwaresofton · 2018-11-07 · in Linux compatibility in IncludeOS
  5. …for a regular non-sciency engineer, from first looks. And/or maybe the "tutorial" I've found at https://github.com/rumpkernel/wiki/wiki/Tutorial:-Getting-st...
    comment by akavel · 2015-10-16 · in Announcing NetBSD 7.0
  6. …and an anykernel is one way to get a rump kernel. There is a FAQ with more information at: https://github.com/rumpkernel/wiki/wiki/Info:-FAQ I'm pretty sure that Antti created these terms, so it is an authoritative definition :).
    comment by joveian · 2015-10-12 · in Announcing NetBSD 7.0
  7. …a static-website tutorial that describes how to use Nginx as a unikernel. http://rumpkernel.org/ https://github.com/rumpkernel/wiki/wiki/Tutorial%3A-Serve-a-...
    comment by amirmc · 2015-07-15 · in PolyConf 15: Unikernels [video]
  8. https://github.com/mato/rump-php http://rumpkernel.org/ https://github.com/rumpkernel/wiki/wiki/Info:-Community Ask on the mailing list/irc if you need help... its still under development so not completetly obvious yet ;)
    comment by justincormack · 2015-05-06 · in Look Ma, no OS
  9. …github [1] and the wiki [2] including videos and articles [3] [1] https://github.com/rumpkernel [2] https://github.com/rumpkernel/wiki [3] https://github.com/rumpkernel/wiki/wiki/Info%3A-Publications...
    comment by justincormack · 2014-09-13 · in The Design and Implementation of the Anykernel and Rump Kernels (2012) [pdf]