José Martins

I have booted 32-bit Linux over Bao too. I think this is ready to be fully reviewed @ninolomata @DavidMCerdeira @danielRep

A branch for bao-demos featuring demos targetting qemu-riscv32-virt is available at https://github.com/josecm/bao-demos/tree/feat/rv32. I'll create a PR for that demo once this PR is accepted.

> While I don't see a huge problem on using compilation macros macros (RV32 and RV64), wouldn't be more cleaner to separate rv32 and rv64 profiles on different `arch` folders...

Hey @daihuasheng! Thanks for bringing this up. > I know the concern about isolation, but in some cases the hardware unit does not own enough specific I/O devices (e.g. disk,...

@D3boker1 before starting the review I'd ask you to: 1. Resolve the conflicts with the main branch; 2. Make the history a little more granular, so we can better understand...

@ninolomata @DavidMCerdeira I believie this is ready to be merged. Please add your reviews. @D3boker1 it would be great if you could also add your approval after my changes.

@joaopeixoto13 I'd suggest breaking this into two PRs. The first with the shmem/ipc refactoring and the second with the remote io feature. Also, please keep your history cleaner. Don't introduce...

I don't think we need the wip in #120. We can use just this PR for both enabling pedantic C11 and adding the fixes to the new errors.

@miguelafsilva5 please fix your commit messages to pass gitlint checks and apply the code formatter. I also see that the builds are still failing due to `-Wpedantic` errors.

I haven't delved too deeply into this yet, but I have a small suggestion. Could you please provide additional information in the PR description about how and in what targets...