I had to increase nitpicker to 32M to get this to work. There are still a
number of odd errors being produced but the demo is running. It is worth
noting, however, that the base demo runs fine with NOVA but does not with
seL4 unless the memory is increased on nitpicker. Here's my output if you
Hi all,
I'm struggling with modifying the Ram_dataspace in base-linux.
I have replaced the file descriptor opened in
> void Ram_dataspace_factory::_export_ram_ds(Dataspace_component *ds)
in base-linux/src/core/ram_daraspace_support.cc by opening a special
device file that provides mappable ram.