040000 tree 5f30255a3f7485caf28c8b8a6c3016e8f4532eeb	agents
040000 tree 71f0175dd48ad6cccc7e19705916aaba6faab10d	bfm
040000 tree 7d914aea6f562d2fc8a3184e3ccdf90015e75646	firmware
040000 tree cc2b97571e69d355e1153471b28345bc8cdad1b7	model
160000 commit f0e1866cea67544ef6a71839ddb50a806979d1a4	riscduino_board
040000 tree 1d52df440aa3f9966163bca904d939c12fc7e606	vpi