It was crashing yesterday, I forgot that my address decoder had a wrap around issue, after fixing that Zephyr RTOS Philosophers example runs!

Pretty cool. Demo is available for download now

https://github.com/micro-FPGA/engine-V/tree/master/boards/lattice/iCE40-UltraPlus-MDP/demos/zephyr

Source will be revealed a bit later :)