Debug GFE BSV P2 FreeBSD provisioning / spin-up failures

GaloisInc / BESSPIN-Tool-Suite

The core tool of the BESSPIN Framework.

Other

5 stars 2 forks source link

Debug GFE BSV P2 FreeBSD provisioning / spin-up failures #604

Closed andrew-bivin closed 4 years ago

andrew-bivin commented 4 years ago

I'm not familiar with the specific error(s) witnessed when attempting to launch the GFE BSV P2 FreeBSD variant in Portal, so this issue will serve as a thread were specifics can be posted.

@kurthopfer @EthanJamesLew please post any relevant logs or details. Thanks!

cc @rtadros-Galois

rtadros125 commented 4 years ago

Nothing is wrong here except what is mentioned in #622. I will merge a PR with a silly workaround, but this is very occasional.