Armadillo include

2 jobs for hardware-emulator in 35 minutes and 41 seconds (queued for 2 seconds)