search

GaloisInc / BESSPIN-CloudGFE

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

Connectal GFE AWS release 1.0 #48

Closed charlie-bluespec closed 4 years ago

charlie-bluespec commented 4 years ago

Bring up Linux/busybox, console, virtio network & block device on Connectal GFE AWS FPGA build #47 TBD - release according to CloudGFE release requirements

jrtc27 commented 4 years ago

Whilst using Linux as your platform of choice for initial hardware bringup is understandable (you need to pick one either way), I would like to remind you that FreeBSD (and built with LLVM, unlike your GCC-built Linux/busybox) is equally important for the "Connectal GFE AWS release 1.0". Whilst we don't anticipate there being any missing drivers given the choice of devices, there is always the risk something is missing or bugs will cause it to not work.

charlie-bluespec commented 4 years ago

Yes, will add a separate ticket so that doesn't get lost.

joestoy commented 4 years ago

We'll certainly look at the other systems once busybox works -- just starting with the "official" P2 one.

jrtc27 commented 4 years ago

They are both equally "official"... just one has been rather better supported than the other so far.

kiniry commented 4 years ago

^ this

charlie-bluespec commented 4 years ago

yes

rwatson commented 4 years ago

As a reminder from the LLVM issues last year, different software stacks can exercise different hardware functionality footprints. We spent a significant amount of time debugging and fixing implementation defects in Flute arising from Bluespec’s cores being completely untested with LLVM despite multiple requests that you do so. We are working to tight deadlines, and can not afford a week being lost to these sorts of issues (again) if it turns out, for example, that FreeBSD’s VirtIO driver has a slightly different functional footprint than the Linux driver, as this is an essential dependency for us. Further messages indicating that Bluespec is yet again deferring support for our software stacks will not be well received.

kiniry commented 4 years ago

Per our sprint kick-off planning yesterday, we are continuing to track and help test and debug the Connectal platform variant of CloudGFE from @jameyhicks at MIT. Primarily this entails @joestoy at Bluespec tracking work and helping @rsnikhil integrate and test VirtIO devices, and performers at Galois ensuring that we can understand and test that platform variant with the FETT Target tool.

@jameyhicks when do you expect to do a merge/release of the Connectal work? After that happens, are you going "hands-off" on SSITH-Connectal-AWS work for FETT?

charlie-bluespec commented 4 years ago

closed per assessment by @joestoy