search

GaloisInc / BESSPIN-CloudGFE

The AWS cloud deployment of the BESSPIN GFE platform.
Apache License 2.0
2 stars 2 forks source link

maintain baseline "Vanilla" Flute in AWSteria #102

Closed rsnikhil closed 4 years ago

rsnikhil commented 4 years ago

Current AWSteria effort focuses on CHERI-Flute with UCamb AXI, but DARPA also requires us to maintain a 'vanilla' GFE Flute version as a baseline for comparison.

Such a version already exists (booted FreeBSD a few days ago); we just have to maintain it to stay in sync with the work on CHERI-Flute (specifically: addition of VirtIO).

charlie-bluespec commented 4 years ago

per @rsnikhil, Vanilla Flute is in the repo now, and will be maintained moving forward.

jrtc27 commented 4 years ago

Currently this is in a separate AWSteria_vanilla directory that forks all the Makefiles, build scripts, host side code etc. I would strongly suggest that almost all of this be extracted out into a shared place, as keeping the CHERI and vanilla copies of everything in sync will invariably end poorly with unnoticed divergences, bug fixes going missing etc. Even for Connectal, which only duplicated a Makefile, P2_Core.bsv and SoC_Map.bsv (a bit under 1,000 lines total), we still managed to have things get out of sync occasionally, and that is ~1.5 orders of magnitude less than the 29,467 lines committed as part of AWSteria_vanilla (plus 18,185,312 lines of Mem.hex files that really don't belong there). With branches/forks it's easier to have copies, since git merge automatically gets everything you're missing. When it's just files that have been copied around in the tree there's no easy equivalent.

rsnikhil commented 4 years ago

Yes, I am aware of this. This is just my personal temporary work area until I have the Virtio code running with vanilla GFE flute. As you observe, only a few parts are different from the CHERI-Flute version, and some parts (tinyemu etc.) are shared with the Connectal version. It'll all get resolved when it reaches a less volatile state.

jrtc27 commented 4 years ago

Ok, glad we're on the same page then :)