Refactor/penumbra#322

edubart wants to merge 5 commits intorefactor/pmacartesi/machine-emulator:refactor/pmafrom

refactor/penumbracartesi/machine-emulator:refactor/penumbraCopy head branch name to clipboard