tl;dr kernonly (no libc) now works(*) on rumprun/xen too and is
build-tested by Travis CI.
*) well, at least builds ;)
On 03/09/15 19:29, Sebastian Wicki wrote:
Hi all,
Today I upstreamed a flag (-k) to build-rr.sh which builds the rump
kernel and libbmk_rumpuser without libc, rumprun_* or app-tools. [1]
As opposed to normal rumprun unikernel use, which is in a way supposed
to be transparent for the application, the idea here is that the
client code uses the rump kernel (and platform) directly, and provides
all other code it needs itself. I've been using this for my ongoing
summer of code project. The flag excludes all the "userland"
libraries, but includes the libcompiler_rt for convenience so one can
link together a bootable image.
[snip]
Currently, only the 'hw' platform is supported. Xen needs some
additional work, as some mini-os header (mini-os/types.h) files
include some userland headers.
I finally finished that cleanup (after, what, almost 2.5 years).
There's still a bit of general messiness here and there in the Rumprun
headers, but there no longer is anything which prevents a separation
between the Rumprun "kernel" and "userland".
