RFC: linux: add linux rump kernel build #93
Conversation
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
thehajime
force-pushed
the
lkl-rumprun-upstream
branch
2 times, most recently
from
57e4554 to
b214dcd
Compare
|
Found a sweet spot for pthread support and the PR is updated, slightly reduces ifdefs and the pthread_test now passes. Still struggling on supporting TLS with musl libc. I would love to ask any opinions on the patch in any aspects since the changes are a bit large. |
|
Review process is documented here: |
|
@anttikantee thanks, will get back at the list. |
thehajime
force-pushed
the
lkl-rumprun-upstream
branch
3 times, most recently
from
13dc908 to
39841d7
Compare
thehajime
force-pushed
the
lkl-rumprun-upstream
branch
5 times, most recently
from
5995ebe to
552fc55
Compare
thehajime
force-pushed
the
lkl-rumprun-upstream
branch
5 times, most recently
from
91d91aa to
fb08e11
Compare
thehajime
force-pushed
the
lkl-rumprun-upstream
branch
from
fb08e11 to
d7849e7
Compare
thehajime
force-pushed
the
lkl-rumprun-upstream
branch
2 times, most recently
from
2a8a33f to
c05b187
Compare
build-rr.sh adds new -r option to switch what rump kernel is used: NetBSD is the default one and add Linux one for the alternative in this patch. Although there are several limitations (listed below) in this stage, this would be a first step toward supporting alternate rump kernel across different ones. Limitations: - no xen execution support (build should be fine) - no i486 build support - CXX is always false: CXX=false should be added to build linux rump kernel - no libz support - no cookfs (/rootfs) support - rumprun-packages needs more work: current test on travis is only build test and the executions might have various issues.
thehajime
force-pushed
the
lkl-rumprun-upstream
branch
from
c05b187 to
5418b11
Compare
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Add this suggestion to a batch that can be applied as a single commit.
This suggestion is invalid because no changes were made to the code.
Suggestions cannot be applied while the pull request is closed.
Suggestions cannot be applied while viewing a subset of changes.
Only one suggestion per line can be applied in a batch.
Add this suggestion to a batch that can be applied as a single commit.
Applying suggestions on deleted lines is not supported.
You must change the existing code in this line in order to create a valid suggestion.
Outdated suggestions cannot be applied.
This suggestion has been applied or marked resolved.
Suggestions cannot be applied from pending reviews.
Suggestions cannot be applied on multi-line comments.
Suggestions cannot be applied while the pull request is queued to merge.
Suggestion cannot be applied right now. Please check back later.
**Please don't merge as-is **
This is to ask your comment on an extension to support Linux kernel as a rump kernel.
(and the update of #65)
This commit requires the PR rumpkernel/buildrump.sh#78.
build-rr.sh adds new -r option to switch what rump kernel is used:
NetBSD is the default one and add Linux one for the alternative in this
patch.
Although there are several limitations (listed below) in this stage,
this would be a first step toward supporting alternate rump kernel
across different ones.
Limitations:
pthread is not properly implemented: tests are failed and usesTLS is still not workingTEST_LESS env for the minimum test
kernel
test and the executions might have various issues.