Skip to content

Comments

Add build-rr.sh -k flag to build without userland libraries#46

Merged
anttikantee merged 4 commits intorumpkernel:masterfrom
gandro:nolibc-hw
Sep 3, 2015
Merged

Add build-rr.sh -k flag to build without userland libraries#46
anttikantee merged 4 commits intorumpkernel:masterfrom
gandro:nolibc-hw

Conversation

@gandro
Copy link
Member

@gandro gandro commented Sep 3, 2015

This will build the rump kernel bits and the platform code (i.e. librumpuser), but without libc or (as a consequence) app-tools. The motivation behind this is a use case where one invokes the rump kernel directly.

As there is no rumprun_base, the client code needs to provide the mainthread entry point invoked by the platform code. Linking also has to be done manually. This pull request contains some example code, showing how one could do this. Because there is no libc, compiler_rt from the NetBSD tree is built if -k is used.

Currently, only the hw platform is supported. I haven't found the time yet to fix xen support, e.g. mini-os/types.h currently includes some userland headers.

@anttikantee
Copy link
Member

Can you add support for Travis?

build-rr.sh Outdated
Copy link
Member

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Can this bit somehow go into config.mk so that you don't need to keep typing "make kernonly" all the time in platform/hw?

@gandro
Copy link
Member Author

gandro commented Sep 3, 2015

I covered all the comments so far (thanks) and also fixed some other mistakes. I'll give the buildtests/Travis support a shot.

@anttikantee
Copy link
Member

Thanks. Please rebase your branch to clean up unnecessary commits and drop a note when you think it's ready to merge.

Currently only supported for the 'hw' platform. This builds rumprun
without any userland code (i.e. libc, app-tools), for custom builds
that invoke rump kernel functions directly.
@gandro
Copy link
Member Author

gandro commented Sep 3, 2015

Added the -k flag to buildtests.sh as well; and rebased the code now. Ready to be merged from my side, once Travis is green.

anttikantee added a commit that referenced this pull request Sep 3, 2015
Add build-rr.sh -k flag to build without userland libraries
@anttikantee anttikantee merged commit 5c10419 into rumpkernel:master Sep 3, 2015
@anttikantee
Copy link
Member

Thanks!

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants