Hi, 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 you can say this is a Linux rump kernel: I was saying this is Linux LibOS, but recently I switched the kernel part to new one (not exactly new btw), called Linux Kernel Library (LKL) because it's much beautiful than our LibOS patches, though I still like LibOS to describe what I'm doing. Current supports are so limited: lack of libc support on rumprun, sysproxy on posixy host is not integrated yet, etc. but upstreaming build facilities first makes clearer and easier to develop and test our Linux kernel so, I asked the requests. I'm okay to be declined if those patches makes trouble on current NetBSD rump kernel development: I will address such issues and get you back later. Comments and suggestions are of course so much appreciated. -- Hajime
