I think FreeRTOS is under MIT, not GPL. Still, when it comes to GPL, the decision point is at the moment of selecting the baseline project.
The E-Ink driver includes proprietary parts from hardware manufacturer, so we cannot release it.
Having an SDK and a strong developer community around Kompakt is an ideal scenario for us. However, creating and maintaining an SDK requires significant resources, so we’re taking it one step at a time. We’ll begin by releasing the design system and gathering feedback, to see how many developers adopt it. Based on its popularity and impact, we’ll decide how to proceed. I hope we reach the SDK stage.
Of course, we will comply with all license obligations. We’ve reviewed all software licenses used in Kompakt, but I’ll double-check whether there are any kernel changes we’re required to release but we haven’t yet.