-
Notifications
You must be signed in to change notification settings - Fork 5
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Point to upstream solo5/solo5 and enable solo5 tests #12
Conversation
ricarkol
commented
Jan 25, 2019
•
edited
Loading
edited
- Adding solo5/solo5 master repo as a submodule.
- Adding solo5 to runtests.sh and updated travis to run them.
- Now build-rr.sh builds and copies the solo5 libraries to their location. There is an objcopy to change stack guard symbols that were in conflict with the rumprun libc.
- The old bake rules were called ukvm-* and seccomp-*. Changed that to solo5-hvt and solo5-spt.
Signed-off-by: Ricardo Koller <kollerr@us.ibm.com>
- Now build-rr.sh builds and copies the solo5 libraries to their location. There is an objcopy to change stack guard symbols that were in conflict with the rumprun libc. - The old bake rules were called ukvm-* and seccomp-*. Changed that to solo5-hvt and solo5-spt. - travis: using xenial ubuntu (need a newer gcc) Signed-off-by: Ricardo Koller <kollerr@us.ibm.com>
Signed-off-by: Ricardo Koller <kollerr@us.ibm.com>
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
LGTM
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
LGTM, 1 formatting nig
@@ -200,7 +201,8 @@ checksubmodules () | |||
# We assume that if the git submodule command fails, it's because | |||
# we're using external $RUMPSRC. | |||
if git submodule status ${RUMPSRC} 2>/dev/null | grep -q '^-' \ | |||
|| git submodule status ${BUILDRUMP} 2>/dev/null | grep -q '^-'; | |||
|| git submodule status ${BUILDRUMP} 2>/dev/null | grep -q '^-' \ | |||
|| git submodule status ${SOLO5SRC} 2>/dev/null | grep -q '^-'; |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
nit: allignment
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
ahh, that was on purpose:
if git submodule status ${RUMPSRC} 2>/dev/null | grep -q '^-' \
|| git submodule status ${BUILDRUMP} 2>/dev/null | grep -q '^-' \
|| git submodule status ${SOLO5SRC} 2>/dev/null | grep -q '^-';
thought that this looked prettier than:
if git submodule status ${RUMPSRC} 2>/dev/null | grep -q '^-' \
|| git submodule status ${BUILDRUMP} 2>/dev/null | grep -q '^-' \
|| git submodule status ${SOLO5SRC} 2>/dev/null | grep -q '^-';