/hw/bsp/hpmicro/boards/
../
hpm6750evk2