search

GaloisInc / BESSPIN-CloudGFE

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

Update riscv-kernel for GFE/CloudGFE #83

Closed podhrmic closed 4 years ago

podhrmic commented 4 years ago

FireSim uses 5.3, it would be nice to know that GFE can support the new kernel as well. Might require backporting some changes. I will give it a honest try, since it is not required, but won't spend too much time on it.

podhrmic commented 4 years ago

@dhand-galois how important do you think this is? Looking at the commit history of our custom kernel patches, it is a number of commits I would have to cherry-pick, and each of them likely will cause some merge conflicts (against 5.3 kernel). Maybe some of the changes are already part of the upstream, but that is hard to say.

dhand-galois commented 4 years ago

Good point.. I forgot how much work we did to make some of the Xilinx IP work on the VCU118. In light of the goals of #79 to maintain cross-compatibility from GFE to CloudGFE, I'd suggest we put this on hold. I don't think there's any requirement where we need the 5.3 kernel.

kiniry commented 4 years ago

No team is doing deep kernel mods to support their security approaches, so I suggest we keep our kernel versions as-is unless we get a request from a TA-1 team to do something differently in phase 3.

dhand-galois commented 4 years ago

Sounds like we're all agreed that this is not worth the effort. Closing this for now until/unless we need to revisit it.