Stjepan Gotic

> Looks like a pmp/memory protection issue. The knsh config does not work out of the box, you need opensbi ton run this config I took a look and OpenSBI...

I have spent another day debugging and although some small progress has been made in advancing when the kernel build crashes, I am still stuck on getting the build to...

I can provide some more information regarding the queries in question. I started debugging from the function _mpfs_start_ which contains a function call to _mpfs_mm_init_. This function itself performs two...

I did some more debugging and have managed to boot NuttX in kernel mode, _sort of_. After updating CONFIG_RAM_VSTART to 0x80200000, the initial crash went away but led to another...

It's been a while since this ticket was posted but I have come across the solution to this issue, although it may impact more than just the mpfs boards and...