smaccmpilot: typechecks against new tower 6 api
ivory-bsp-stm32f4: typechecks against new tower 6 api
sample-rtv-task: typechecks against tower 6 api