Raspberry Pi port, piCore-15.0 is available!
Red hat is free, but they're publicly traded. Aren't they?Let me know how I can get involved. I'm a believer.