(full disclosure - I worked on tiny pieces of the code and stuff adjacent to it in the design)
https://github.com/ARM-software/arm-trusted-firmware http://www.tianocore.org/edk2/ (for more platform support add git.linaro.org/uefi/OpenPlatformPkg.git)
since you seem to know about the power consumption, can you please share some numbers about the power consumption of the jcore cpu (on a comparable process to other cpu's build for IoT devices, usb controllers etc)?
jcore is not intended to be a replacement for the main cpu, so this would be really interesting to me, and would save me from asking on the mailing list. ;P
[1] http://se-instruments.com/press_releases/sei-adopts-open-sou...