#include <string.h>
#include "common.h"
-#include "intel_de3815.h"
+#include "x86/intel_de3815.h"
#define PLATFORM_NAME "Intel DE3815"
#define MAX_SIZE 64
#include <sys/mman.h>
#include "common.h"
-#include "intel_edison_fab_c.h"
+#include "x86/intel_edison_fab_c.h"
#define PLATFORM_NAME "Intel Edison"
#define SYSFS_CLASS_GPIO "/sys/class/gpio"
#include <sys/mman.h>
#include "common.h"
-#include "intel_galileo_rev_d.h"
+#include "x86/intel_galileo_rev_d.h"
#define UIO_PATH "/dev/uio0"
#define PLATFORM_NAME "Intel Galileo Gen 1"
#include <sys/mman.h>
#include "common.h"
-#include "intel_galileo_rev_g.h"
+#include "x86/intel_galileo_rev_g.h"
#define MAX_SIZE 64
#define SYSFS_CLASS_GPIO "/sys/class/gpio"
#include <string.h>
#include "common.h"
-#include "intel_minnow_max.h"
+#include "x86/intel_minnow_max.h"
#define PLATFORM_NAME "MinnowBoard MAX"
#define I2C_BUS_COUNT 10
#include <stdlib.h>
#include "mraa_internal.h"
-#include "intel_galileo_rev_d.h"
-#include "intel_galileo_rev_g.h"
-#include "intel_edison_fab_c.h"
-#include "intel_de3815.h"
-#include "intel_minnow_max.h"
+#include "x86/intel_galileo_rev_d.h"
+#include "x86/intel_galileo_rev_g.h"
+#include "x86/intel_edison_fab_c.h"
+#include "x86/intel_de3815.h"
+#include "x86/intel_minnow_max.h"
mraa_platform_t
mraa_x86_platform()