On 18.11.2013 11:42, Norman Feske wrote: > Maybe your platform starts the kernel in > non-secure mode? If I remember right, the secure/non-secure mode must be > distinguished when setting up mappings in the page table. On ARMv7 a complete base-hw page-table is either secure or non-secure. A page table sets its secure bit automatically according to the mode that is active while the page table gets constructed (see base-hw/src/core/tlb/arm_v7.h). The decision, whether secure or non-secure mode is active (Arm_v7::Cpu::secure_mode()) depends on Board_base::SECURITY_EXTENSION (in base/include/platform/$YOUR_BOARD/drivers/board_base.h). So it might be that this parameter is set inappropriate for your board. When adding mappings to page tables, secure-mode setting doesn't have to be considered.
Martin ------------------------------------------------------------------------------ DreamFactory - Open Source REST & JSON Services for HTML5 & Native Apps OAuth, Users, Roles, SQL, NoSQL, BLOB Storage and External API Access Free app hosting. Or install the open source package on any LAMP server. Sign up and see examples for AngularJS, jQuery, Sencha Touch and Native! http://pubads.g.doubleclick.net/gampad/clk?id=63469471&iu=/4140/ostg.clktrk _______________________________________________ Genode-main mailing list [email protected] https://lists.sourceforge.net/lists/listinfo/genode-main
