Release 17.05, base-hw, environment ROM session denied error

Hi, Migrating over to release 17.05 from 17.02, I'm getting errors from an unknown source when a os server starts. Grepping for the error message or portions of it yields nothing and the error tells me nothing I can relate to. The error does not occur on previous releases. The complete run sc

Re: Accessing virtual address of normal world in secure world in genode-tz

Can we use the following function in repos/os/src/server/tz_vmm/include/ram.h for this? Take normal world virtal address from _state->ip, get corresponding physical address using va_to_pa function, and call the following with that physical address? Genode::addr_t va(Genode::addr_t phys) { if ((phy

Re: Attempting to create a custom noux_bash.run

I'm not the best with run scripts, but I'd suggest looking at gems/run/wm.run. It uses depot packages, which simplifies the script. On Jun 12, 2017 4:07 AM, "Baconicsynergy via genode-main" < genode-main@lists.sourceforge.net> wrote: > I've studied as many network run scripts as I could in order

Attempting to create a custom noux_bash.run

I've studied as many network run scripts as I could in order to make a custom noux_bash.run with wifi and lynx. I'm also adding tools to compile and debug C code. But, I think it's in really bad shape :/ If anyone out there can help proofread my run script and provide assistance and suggestions

Accessing virtual address of normal world in secure world in genode-tz

Hello I am trying to convert virtual address (corresponding to normal world) stored in instruction pointer into virtual address in tz_vmm, in order to read the instruction which caused the exception in normal world linux and process accordingly. Though we do have physical address (using va_to_pa fu