To be clear, they switched from a 3 or 4 year old version of Nuttx (prior to interrupt optimatizations) to current ChibiOS.