Raspberry Pi port, piCore-15.0 is available!
The question is why can't i use an existing kernel for +2e, [...]
[...],and that he needs a kernel modification for it.