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 <wladislav...@gma
Wladislay,
>
>
> On Thu, 2017-01-19 at 12:19 +0100, Wladislav Wiebe wrote:
>> Hi Alex,
>>
>> > Regardless, seL4 does not support it.
>> ignore my last mail - just saw you pointed to the fact that sel4
>> doesn't support VFT.
>>
>> But I am still wonde
advice how to deal with this?
Thanks in advance!
- Wladi
2017-01-25 22:22 GMT+01:00 Wladislav Wiebe <wladislav...@gmail.com>:
> Hi Alex,
>
>> A trick that I use to overcome this problem is to introduce a global
>> variable that reflects the status of the PD. The UART
dumped the DFAR/DFSR register --
Relevant config parts about the setup:
CONFIG_ARCH_ARM_V7A=y
CONFIG_ARCH_ARM=y
CONFIG_ARCH_AARCH32=y
CONFIG_ARM_CORTEX_A15=y
CONFIG_PLAT_KEYSTONE=y
Thanks in advance!
--
WBR, Wladislav WIebe
___
Devel mailing list
Devel
wrong in that case?
Same thing happens when executing such code e.g. in platform_init().
Thanks!
Wladislav Wiebe
2017-01-16 14:17 GMT+01:00 Wladislav Wiebe <wladislav...@gmail.com>:
> another interesting thing is, even putting a debug print to:
> diff --git a/elfloader-tool/src/arch-a
be considered as well?
Thanks!
- Wladislav Wiebe
2017-01-19 1:27 GMT+01:00 <alexander.k...@data61.csiro.au>:
> Hi Wladislav,
>
> Does the architecture support the VFP extension?
>
> Regardless, seL4 does not support it. The appropriate args should be
> passed to your compiler t
should be
> passed to your compiler to prevent its use.
Btw. do you have an good alternative? The toolchain is currently
configured with --with-fpu=neon-vfpv4
Thanks!
- Wladislav Wiebe
2017-01-19 10:50 GMT+01:00 Wladislav Wiebe <wladislav...@gmail.com>:
> Hi Alex,
>
> I've checked h
interrupt.
May ask about this magic in the TI e2e forum.
Thanks!
- Wladi
2017-02-27 16:59 GMT+01:00 Wladislav Wiebe <wladislav...@gmail.com>:
> Hi Alex,
>
> yes, you are right -- seems interrupt 27 is the virtual timer based on
> GIC 400 specification.
> http://infocent
0
size: 0x8000 (2048 MB)
Do you have an idea if this is supposed to be supported on seL4?
What should be the "physBase" and the "kernelBase" for such a setup?
How should the "static const p_region_t BOOT_RODATA avail_p_regs" looks like?
Thanks
