It's MIT licensed now, which isn't particularly useful when it comes to Pi (there's some Broadcom crap in that boot loader so it won't be open sourced) but otherwise is kind of interesting.

https://github.com/eclipse-threadx