I am using all of your latest commit changes and I can get everything to
work except if the test.vbox file has Adapter 0 enabled="true". if set to
false (obviously there is no networking) but the two VM's boot into their
respective windows, I can interact with each independently. When I enable
Thanks a lot Stefan! base-hw/src/core/spec/arm_v7/trustzone/kernel/vm.cc
and base-hw/src/core/spec/arm_v7/trustzone/mode_transition.s makes the
memory sharing and register read/write between vmm and vm clearer.
Further doubts:
(1)We put three print statements:
(a) In
Hello,
On 22.06.2017 16:08, Stefan Kalkowski wrote:> It is created by core,
when a new SIGNAL session is opened to it.
Actually, the SIGNAL session interface does not exist anymore. Its
functionality moved into core's PD service in Genode 16.05.
@David, to understand the signal-delivery
On 06/20/2017 04:42 PM, rijure...@mpi-sws.org wrote:
> Analyzed the following files:
> (a) base-hw/src/core/spec/arm/kernel/cpu.cc (calls init trustzone)
> (b) base-hw/src/core/spec/imx53/trustzone/platform_support.cc (defines
> init trustzone where monitor exception entry is assigned with
>
Hi,
On 06/20/2017 02:12 PM, rijure...@mpi-sws.org wrote:
> We read the dfsr value with changes in
> base-hw/include/spec/imx53/vm_state.h,
> base-hw/src/core/spec/arm_v7/trustzone/kernel/vm.cc, and
> os/src/server/tz_vmm/include/vm_base.h dump() function.
>
> We got dfsr = 1008, which gives
Hi David,
On 06/21/2017 12:12 PM, David Werner wrote:
> Hi everyone,
>
> As I'm stuck with this problem I would appreciate any kind of advice.
sorry for the long delay. See below for my comments.
>
> Best Regards,
> David
>
> Am 07.06.2017 um 15:13 schrieb David Werner:
>> Hi everyone,
>>
>>
Hi,
On 21.06.2017 21:41, lavro...@critical.com wrote:
> Yes, default_log.cc is listed in core-sel4.mk file. However, I've recently
> noticed that not all of the components listed in SRC_CC actually get to
> compile (including default_log.cc), which results in incomplete core-sel4
> library. After
Hi, Alex
Yes, default_log.cc is listed in core-sel4.mk file. However, I've recently
noticed that not all of the components listed in SRC_CC actually get to
compile (including default_log.cc), which results in incomplete core-sel4
library. After taking a closer look, it turned out that
