Skip to content

@rumpkernel-attic rumpkernel-attic

Change the repository type filter

All

    Repositories list

    5 repositories

    • rumprun-baremetal

      Public
      OLD REPOSITORY, go to repo.rumpkernel.org/rumprun
      C
      •
      Other
      •5•42•1•0•Updated Apr 13, 2015Apr 13, 2015

    • rumprun-xen

      Public
      OLD REPOSITORY, new one at repo.rumpkernel.org/rumprun
      C
      •7•44•5•0•Updated Apr 13, 2015Apr 13, 2015

    • netbsd-userspace-src

      Public
      deprecated mirror of NetBSD userspace sources: use rumpkernel/src-netbsd instead
      C
      •4•3•0•0•Updated Jul 11, 2014Jul 11, 2014

    • rumpkernel-netbsd-src

      Public
      Deprecated mirror of NetBSD sources for buildrump.sh; use rumpkernel/src-netbsd
      C
      •6•5•0•0•Updated Jul 11, 2014Jul 11, 2014

    • rumpuser-linuxkernel

      Public
      A rump kernel hypervisor for the Linux kernel
      C
      •
      Other
      •4•20•0•0•Updated May 15, 2013May 15, 2013