Should download Morello firmware instead of having to build it

CTSRD-CHERI / cheribuild

Easily build and run CHERI related projects

http://www.chericpu.com

Other

68 stars 46 forks source link

Closed arichardson closed 3 years ago

arichardson commented 4 years ago

Building the firmware is rather annoying (and unncessary for most users), so we should just download and extract a known-good archive instead.

arichardson commented 3 years ago

Fixed in baec49822b7711bf13f7804d0b2a90e1edf30c07