port samsung exynos 5

Waldo Paz Rodriguez waldopaz at ...210...
Mon Feb 9 17:21:53 CET 2015

Hi Genode hackers, I am did several printf to locate the error and it's 
located on this lines

about line 226:	static Rm_root rm_root  (e, e, e, &sliced_heap,

about line 80: Platform_generic *Genode::platform() {
                  return platform_specific();

about line 73: Platform *Genode::platform_specific()
	           static Platform _platform;
                    return &_platform;

best regards waldo

More information about the users mailing list