Ville Juven

Hello again @dagar , this has been inactive for a while but the fix is valid and we have been running this patch for a while now so it is...

Abandoning, this approach fails miserably if trying to kill pthreads. Needs a different approach.

Abandoning due to inactivity. We can re-start discussion about this once I start upstreaming CONFIG_BUILD_KERNEL option for px4.

A good candidate for that page fault would be C++ ctors/dtors trying to execute with kernel privileges. The same crt0 file should handle those _per process_, however I have seen...

I fixed #1263 a while back (years back), so that should not be an issue here. However CONFIG_BINFMT_CONSTRUCTORS can cause such issues. I use C++ almost exclusively with BUILD_KERNEL, it...

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

Opensbi domains control pmp configuration. Set the memory areas and access rights accordingly. Or open up everything. Disabling pmp is not enough as supervisor/user modes need to be *given* explicit...

Easiest way is to just open up everything and not worry about PMP. PMP is used for inter-hart isolation, if you don't use AMP I would not worry about it....

I have not tried the knsh config in many months, maybe there is some regression in upstream. The mapping should be vaddr=paddr so CONFIG_RAM_START==CONFIG_RAM_VSTART==0x80200000. I think this has been the...

Yes that makes sense, forgot I enabled kmap for icicle. Adding CONFIG_RAM_VSTART to the defconfig should fix this issue. What's causing the stack coloring issue depends on which stack is...