18:46 <mithro> People might find the work in https://github.com/litex-hub/linux-on-litex-vexriscv/issues/301 interesting...

19:41 <gurki> tbh that leaves me worried; is that a workaround or a fix for sth deeply investigated?

19:41 <gurki> im currently looking at litex stuff for my own designs but thats ... scary in my book

19:42 <gurki> what happens when i run a stream benchmark on say two cores? will the entire system come to a halt?

23:02 <mithro> gurki: Think of it this way, people are actually testing things in the real world and fixing the bugs and issues found

23:03 <mithro> > I set CONFIG_HZ_100=y and now everything seems to be working smoothly with tlb_size = 4 and cache_size = 4096. Boot-up takes about 30 seconds and Linux itself works perfectly. Thanks so much! I'll try to run everything with a different DDR system (Fabric DDR), without having to go through the SmartFusion2 interconnect, and see if that brings further improvements.