search

GaloisInc / BESSPIN-CloudGFE

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

AWSteria vanilla-Flute multiple clocks #113

Closed charlie-bluespec closed 4 years ago

charlie-bluespec commented 4 years ago

@joestoy to fill in details and status

joestoy commented 4 years ago

Done, both for verilator simulation and AWS, but still needs merging with @rsnikhil's virtio stuff when that is ready.

kiniry commented 4 years ago

Thanks for the update, @joestoy. We look forward to it all coming together! CC @rsnikhil @charlie-bluespec

kiniry commented 4 years ago

This isn't being used yet in @rsnikhil's builds and once it is demonstrated there we'll close this. This has been used in AlexanderJ's CHERI builds. We'll move this to the next sprint as a consequence.

joestoy commented 4 years ago

Closing this issue; current state is at commit f7206c3 (origin/twoclock_vanilla), working both in Bluesim and in AWS. Note that when it is merged with @rsnikhil's virtio work there'll need to be an extra clock crossing for the DMA connection to the L2 cache. See also #115.