Quark support for RIOT?

Dear radioing IOTlers,

currently listening to a talk about OS support for Intel Quark MCUs. Andre Guedes is presenting the Quark Microcontroller Software Interface (QMSI) which is licensed under BSD and seems somewhat similar to CMSIS. Maybe this could serve for a first, rather simple step towards Quark support in RIOT.

Cheers, Oleg