I just discovered that you could add some verbosity to the platform
initialization of base-hw. Just change at
https://github.com/genodelabs/genode/blob/14.08/repos/base-hw/src/core/platform.cc#L131
from
enum { VERBOSE = 0 };
to
enum { VERBOSE = 1 };
Happy hacking
--
Christian Helmuth
Hello Chirag Garg,
unfortunately base-hw does not log the discovered "boot modules" which
are added to the ROM file system. Nevertheless I expect your config
file refers to the ROM binary "linux" while your ROM file system does
not contain such a file. Please double-check your config file and the
Hi all,
I am running tz_vmm script for imx6 processor, In which I tried to linux in
the normal world and i got the following message :
kernel initialized
int main(): --- create local services ---
Genode 14.08
int main(): --- create local services ---
int main(): --- start init ---
int main(): tra
