sagark
https://twitter.com/firesimproject/status/103126763730350899...
There's also a branch of BOOM (https://github.com/riscv-boom/riscv-boom/tree/secureboom) that supports Keystone, we're just waiting for it to be merged into master.
Hibernate Your Amazon EC2 Instances Backed by Amazon EBS
More recently, we've integrated it into our FPGA simulation flow, FireSim: https://github.com/firesim/firesim
You can see BOOM doing some "real stuff" here and spin up your own (on an FPGA on EC2 F1): https://fires.im/2018/08/19/firesim-1.3.1-with-BOOM-support....
We've used Logisim for a long time teaching 61C at Berkeley (e.g. https://inst.eecs.berkeley.edu/~cs61c/su15/projs/05/ ) but development seems to have been discontinued.
Hwacha Vector-Fetch Architecture Manual: https://www.eecs.berkeley.edu/Pubs/TechRpts/2015/EECS-2015-2...
Hwacha Microarchitecture Manual: https://www.eecs.berkeley.edu/Pubs/TechRpts/2015/EECS-2015-2...
Preliminary Evaluation Results: https://www.eecs.berkeley.edu/Pubs/TechRpts/2015/EECS-2015-2...
M.S. Thesis on Mixed Precision in Hwacha: https://www.eecs.berkeley.edu/Pubs/TechRpts/2015/EECS-2015-2...
Show HN: ANGEL - Boot Linux in your browser on a simulated RISC-V Processor
http://sagark.org/optimal-ubuntu-graphics-setup-for-thinkpad...
http://sagark.org/thinkdisp-about-installation/
*Disclaimer, I wrote this guide / app