There should be the IO Driver User Guide released during March, followed by an Application Note describing how to write IO Drivers step by step. For other MQX Kernel topics, the only documentation available now is the MQX User Guide, MQX Reference Manual, ... and the source code itself.