OpenKaOS is a developer toolkit for building lightweight Linux platforms for a wide variety of uses