https://github.com/NextThingCo/CHIP_Pro-Hardware/blob/master... suggests it's GadgetOS, which appears to be a New Thing. Anyone have any info on it?