Olof Kindgren

I believe we can drop this now that we have the f4pga backend in place. Please reopen otherwise.

Yes. Setting flags works now, but it's still missing some convenience features. I took the opportunity to expand a bit on the flags documentation here. Hope this clears things up...

This wasn't intended to be closed. It happened when I renamed the default branch. Please reopen if it's still relevant

Fixed with a4cb4a2a26e389ced0c904013c0574ec4e12e0b1

This wasn't intended to be closed. It happened when I renamed the default branch. Please reopen if it's still relevant

Thanks for your contribution. This looks all good if we just drop the mydoc dir. Do you want to do this, or should I do it when I merge?

There are two ways to solve this. 1. Remove the lines `CONFIG_ASSERT=y` and `CONFIG_ASSERT_LEVEL=2` from `samples/philosophers/prj.conf` in the zephyr repo 2. Increase memory size. I _think_ it should work if...

That does sound like a good idea. My biggest question would be how people expect to use such an image. As I'm not using Docker regularly myself I'm not sure...

Hi Martin, Thanks for reaching out. I'm hoping to see an RV32E option but it hasn't been a priority. The major reason is that it would at most only shave...

It is expected that the command fails for both the `lint` and the `verilator_tb` targets since they both use verilator, and it looks like that's what happens in both cases...