rumprun-sel4-demoapps

rumprun-sel4-demoapps copied to clipboard

Is there any way to enable debug symbols for the rumprun code during the build stage so that when `launch_gdb` is used to debug, it would be possible to set...

NiramayVaidya

Hi, I am trying to run two rumprun instances on seL4. I called launch_process(bin_name, CONFIG_RUMPRUN_COMMAND_LINE, 1); launch_process(bin_name, CONFIG_RUMPRUN_COMMAND_LINE, 2); in run_rr() of rumprun-sel4-demoapps/roottask/src/main.c. Then I got below:

mincheolsung

What is the differece between rumprun on sel4 and rumprun on hypervisor(such as xen)?

1

If the rumprun only use sel4's hypervior？

wjhtinger

Is this project still alive?

1

No one reply questions

wjhtinger

Unable to build memcached and hello

5

OS: 20.04.1-Ubuntu Errors: `````` ******/rumprun-sel4-demoapps/projects/rumprun/src-netbsd/sys/rump/fs/lib/libefs/../../../../fs/efs/efs_subr.c: In function 'efs_sb_checksum': ******/rumprun-sel4-demoapps/projects/rumprun/src-netbsd/sys/rump/fs/lib/libefs/../../../../fs/efs/efs_subr.c:66:2: error: converting a packed 'struct efs_sb' pointer (alignment 1) to a '__uint16_t' {aka 'short unsigned int'} pointer (alignment 2) may result...

peterzheng98

This will eventually affect the rust Rumprun/seL4 sample apps. So they may need to get dropped from regression or pinned to a particular rust version. https://github.com/rumpkernel/rumprun/issues/135 https://github.com/rust-lang/rust/issues/81514

kent-mcleod

Bumps [actions/download-artifact](https://github.com/actions/download-artifact) from 3 to 4.1.7. Release notes Sourced from actions/download-artifact's releases. v4.1.7 What's Changed Update @​actions/artifact dependency by @​bethanyj28 in actions/download-artifact#325 Full Changelog: https://github.com/actions/download-artifact/compare/v4.1.6...v4.1.7 v4.1.6 What's Changed updating @actions/artifact...

dependabot[bot]