Firmware is apparently based on uC/OS-II.
SuperIC solution page
kernel sources that seem have have mercury2 support