Opensbi

[NathanTP]

Type of change: new feature

Impact: software change

Release Notes
Adds OpenSBI support to the software infrastructure (FireMarshal and Qemu). OpenSBI is now the default for all Marshal-managed workloads.

[NathanTP]

This shows libgloss as changed, but none of the commits seem to list it and I certainly never changed it. Not sure what that is all about (some quirk of git with merging dev?).

[a0u]

This shows libgloss as changed, but none of the commits seem to list it and I certainly never changed it. Not sure what that is all about (some quirk of git with merging dev?).

Hmm, this situation illustrates why repeated back-merges can lose changes if the merge strategy isn't carefully chosen.
The PR branch actually points to ucb-bar/libgloss-htif@a88e50f (an old commit), whereas dev points to ucb-bar/libgloss-htif@04b2497.

If there are no objections, I'll rebase and squash the QEMU and FireMarshal bumps into one cleaner commit. From my experience, it wasn't necessary to bump riscv-isa-sim for OpenSBI, but that is probably harmless.

[NathanTP]

go for it, I really don't understand what happened considering this PR never touched it. Whatever.

[a0u]

The commit-on-master-check failure is due to the FireMarshal submodule not pointing to the master branch. Perhaps check-commit.sh should be amended to permit dev.

[jerryz123]

IT should be sufficient to replace branches=("master") with

if [ "$CIRCLE_BRANCH" == "master" ] || [ "$CIRCLE_BRANCH" == "dev" ]
then
    branches=("master")
else
    branches=("master" "dev")
fi