Hey, there is no SDK for the whole board but a SDK for the processor. Its the MK64FN1M0xxx12 SDK, you find it here: https://mcuxpresso.nxp.com/en/select
Do you found the example code for the Micro E board? There are all basic software you need for this board. https://nxp.gitbook.io/nxp-cup/downloads-and-links#example-code
for connecting the Board with MCUExpresso you need a JLink Debugger. You cannot connect via the USB port.