040000 tree e01fb39de09048fa1595dcae02b018341f759a7c	agents
040000 tree ae34b865bb73fc1d430b0e7625019a2060234a72	bfm
040000 tree 5d99164dd5d8293bc7ee7b625e1c4265b1c59fb3	firmware
040000 tree cc2b97571e69d355e1153471b28345bc8cdad1b7	model
160000 commit f0e1866cea67544ef6a71839ddb50a806979d1a4	riscduino_board
040000 tree 1d52df440aa3f9966163bca904d939c12fc7e606	vpi