We have release the MicroEJ platform for the NXP KL46Z board  on developer.microej.com.
The mono-sandbox platform is available for MicroEJ SDK 4.1.
You can install the binary platform (.jpf) file using the
File->Import->MicroEJ->Platforms menu. The sources of the platform (reference implementation) can be imported using the
File->Import->MicroEJ->Examples and Platform Reference Implementations menu.
The platform BSP drivers are based on a baremetal implementation for IAR compiler. The platform core is available in 2 configurations: Standard and Tiny mode (smaller code size).
More info are available in the platform documentation once imported in MicroEJ.
Next, you can play with the foundation libraries examples available on our Github repository .
A “hello world” demo is also published here as a binary . It displays the famous string on the LCD.