/debian/config/armhf/rt/