Re: 2 PRs for Linux kernel with rump hypercall

  • From: Antti Kantee <pooka@xxxxxx>
  • To: rumpkernel-users@xxxxxxxxxxxxx
  • Date: Sun, 22 Nov 2015 17:46:01 +0000

On 22/11/15 17:24, Hajime Tazaki wrote:

I submitted 2 pull requests on github, to rumprun and
buildrump.sh, to build Linux kernel as a replacement of
NetBSD rump kernel.

https://github.com/rumpkernel/rumprun/pull/65
https://github.com/rumpkernel/buildrump.sh/pull/78

Thanks. Does this mean that the Linux backend is now a real rump kernel, i.e. runs exclusively on top of the rump kernel hypercall interface?

Do you really get much benefit from buildrump.sh? Without thinking too much about it, I'd guess it's mostly NetBSD-specific.

I don't like how Linux is patched in as a second-class citizen. If we're going to be offering alternatives, they should all be available at the same level, instead of one being the default and others being hidden in flags. The -k flag of buildrump.sh is a good example of how to not do things ...

Other related posts: