Hello all, mostly Kent,
I read your blog post about rumpkernels on sel4:
https://research.csiro.au/tsblog/using-rump-kernels-to-run-unmodified-netbs…
and after experimenting with the rumprun apps (such as the ethernet one
<https://github.com/seL4/camkes/tree/master/apps/rumprun_ethernet>) I think
it is a great addition to sel4.
So I have few questions. I need to run two different rumpkernels, each with
its own address space, connected only through dataports/events.
1- does the current rumpkernel backend support having this separation?
According to your thesis
<http://www.disy.cse.unsw.edu.au/theses_public/16/kentm.pdf>, all
rumpkernel threads run in a single sel4 thread - is that correct?
2- Right now, I can combine multiple rumprun components in one application
(lets say *runmprun_hello* and *rumprun_pthreads*). butI can have only one
rumprun_platform_layer per application, correct? An example below:
*assembly {*
* composition {*
* component rumprun_platform_layer rrpl;*
* component rumprun hello;*
* RUMPRUN_META_CONNECTION(hello, rrpl)*
* component rumprun_pthreads pthreads;*
* RUMPRUN_META_CONNECTION(pthreads, rrpl)*
* }*
* configuration {*
* hello.rump_config = {"cmdline": "hello World!" };*
* RUMPRUN_COMPONENT_CONFIGURATION(hello, 0)*
* pthreads.rump_config = {"cmdline": "./pthreads_test 4" };*
* RUMPRUN_COMPONENT_CONFIGURATION(pthreads, 1)*
* }*
*}*
If I instantiate another *rumprun_platform* component, it wont compile.
3 - how can I go around defining/adding my own rumpkernels? Lets say I want
to build a rumpkernel with rust support
<https://github.com/rumpkernel/rumprun-packages/tree/master/rust> (you have
an sel4 example here
<https://github.com/SEL4PROJ/rumprun-sel4-demoapps/tree/master/userapps/rust>)
and integrate it with the rumprun_hello
<https://github.com/seL4/camkes/blob/master/apps/rumprun_hello/rumprun_hello…>
app.
Regards
Michal
Hello,
when I do a fresh init of the camkes-vm repository:
*repo init -u https://github.com/seL4/camkes-vm-manifest
<https://github.com/seL4/camkes-vm-manifest>*
*repo sync*
and then I want to build the cma34cr_picotcp app:
*make clean*
*make make cma34cr_picotcp_defconfig*
*make silentoldconfig*
*make*
I get the following error:
*Makefile:76: *** No CAmkES application selected. Stop.*
Do you guys have any CI server set up? If not, I would be happy to help set
something up, this is not the first time an existing configuration doesn't
build.
Regards
Michal
Hi,
I would like to use network (TCP) on seL4, I know that I should probably be
using lwip, however I have no idea how to properly initialize it (this is
the first time I'm working in such a hardware close environment), so I need
some help or some kind of example, but I don't know where to look. I'm
working on ia32.
I also tried to run the rumprun hello world, the compillation finishes,
however I get the following output when I try to run it:
https://pastebin.com/MiMB0N62
Regards,
Gábor Székely
