RTOSのZephyrが使えるということでIntel Quark Microcontroller Dev Kit D2000を購入しました。
http://akizukidenshi.com/catalog/g/gM-10487/

IntelのマイクロコントローラD2000を搭載した開発ボードです。32bit、x86ベースの命令セットを持っています。動作周波数は、32MHzで、周辺機器にSPI、I2C、GPIO、コンパレータ、ADC、PWM、DMA、UART、Timerを持っています。ほかに6軸のコンパス、加速度センサと温度センサを兼ねたBosch製のBMC150を搭載しています。

基板のほかにマイクロUSBケーブルが付属しています。
USBは、電源とプログラム書き込み、デバッガに使用します。Arduinoコネクタを有していますが開発環境にArduino IDEは使用できません。開発環境は、Intel® System Studio for Microcontrollers(ISSM)というEclipseベースのIDEを使用します。GCCを使用したC言語での開発となります。
ISSMは、以下のサイトから無償でダウンロードできます。
https://software.intel.com/en-us/intel-system-studio-microcontrollers/download
本ボードは、Zephyr OSを使用するほかにQMSIというドライバライブラリを使用した開発も可能です。