by the way I can also confirm this works, picorv32...
# openlane
a
by the way I can also confirm this works, picorv32a is below 20 sec on machine now