01:14 <somlo> so, in conclusion (w.r.t. https://github.com/chipsalliance/rocket-chip/issues/3296): *properly* configuring H on rocket is a bit tricky; if done right, linux (well, Fedora's kernel) can initialize kvm just fine during boot

01:15 <somlo> on the negative side, it does increase the size significanty (compared to my earlier "experiments" when improper configuration didn't actually add proper H support)

01:17 <somlo> an H-capable Rocket core won't even fit on ecp5 fpga; no matter, Fedora works even without H support, as long as it's not claimed to be present in the isa string :)