Can HackyPi to be customized to support [eCos](https://ecos.sourceware.org/) real-time operating system?
Can HackyPi to be customized to support eCos real-time operating system?