I thought that the OpenXDK was licenced under the GPL and therefore anything statically linked to it has to be released under a GPL compatible licence. This would rule out the Creative Commons Non-commercial license as it has additional restrictions beyond those present in the GPL.
Or am I misunderstanding the OpenXDK licence?