040000 tree df21a529b4a6db8d878f9ef9e27967eb30853ee2	agents
040000 tree 5b862da43706d4fa69ff7c76c19d11c7e8d8a794	bfm
040000 tree 9217b2b378e45b2142b27741e5967d55d88a4f92	firmware
040000 tree cc2b97571e69d355e1153471b28345bc8cdad1b7	model
160000 commit f0e1866cea67544ef6a71839ddb50a806979d1a4	riscduino_board
040000 tree 1d52df440aa3f9966163bca904d939c12fc7e606	vpi