| ▲ | shrubble 2 hours ago | |
Every Raspberry Pi ships with a closed source OS, ThreadX, that boots Linux, BTW. | ||
| ▲ | justin66 2 hours ago | parent [-] | |
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. | ||