All they would need is to provide complete DTBs and some drivers, no need to write a new OS from scratch.