Sel4test freezes on imx8mq

[licosec]

Dear all,

I am new to sel4 and currently trying to run sel4test on an imx8mq Nitrogen8m device.
As there is already support for imx8mq-evk I first tried building and booting an sel4image for this platform. Fortunately it seems already to be able to boot into user space.
However, right after the beginning of sel4Test it freezes. The last line look as follows:

seL4 Test
=========

[email protected]:58 Failed to allocate object of size 2147483648, error 1
[email protected]:58 Failed to allocate object of size 1073741824, error 1

Comparing this to the output of a sel4test simulation for an ia32 build, the error messages seem to be expected behaviour.

As I am quite new I am unsure how to get further information about the problem's cause. As suggested in https://docs.sel4.systems/projects/sel4-tutorials/debugging-guide.html I have already built the image with -DRELEASE=FALSE. Is there another way to gather more information why it stops executing?

Thank you and best regards!