Verbose build (to compare macro settings) and using latest RTEMS (where both Ada and SMP are enabled).