Re: [seL4] arm_data_abort_exception

Hi Wladislav, If the fault occurs before the activation of the kernel PD, this likely means that you are trying to printf before the UART is mapped. If you are using printf for debugging before the PD is activated, you will need to change your kernel UART driver to use the physical address of

Re: [seL4] arm_data_abort_exception

A "Synchronous Data abort" occurs when a virtual memory translation fails on load/store operations. A "Prefetch abort" occurs when a virtual memory translation fails when loading instructions into the CPU pipeline. An "Asynchronous Data abort" occurs when a physical memory translation fails (ie,

[seL4] I2C Driver for BeagleBone (AM335x) for CAmkES

Hey all, Has anyone setup I2C on a Beaglebone CAmkES application? Is the code in libplatsupport all that's needed? The i2d_id enum doesn't seem to include all the i2c modules ( https://github.com/seL4/libplatsupport/blob/master/plat_include/am335x/platsupport/plat/i2c.h), I didn't see an init

Re: [seL4] arm_data_abort_exception

could it be an TLB fault? For my understandig, based on http://infocenter.arm.com/help/index.jsp?topic=/com.arm.doc.ddi0438g/BABFFDFD.html it is the DFSR = 0x7 -> b00111 Translation fault, 2nd level. Thanks! - Wladislav Wiebe 2017-01-24 15:42 GMT+01:00 Wladislav Wiebe :

[seL4] arm_data_abort_exception

Hello, has somebody experience with running into arm_data_abort_exception after enabling the MMU/paging and jumping to the kernel image: .. ELF-loader started on CPU: ARM Ltd. Cortex-A15 r2p4 paddr=[9000..904b041f] ELF-loading image 'kernel' paddr=[8000..80033fff]