Something is wrong.
https://github.com/ProjectVault/orp/blob/master/mainpage.dox
Maybe they've migrated to an ARM in the real formfactor?
EDIT: Here are the ARM drivers in the OS. https://github.com/ProjectVault/orp/tree/master/software/os/... It's a CortexM.