#include "device.h"

uint32_t device_pixels[DEVICE_H][DEVICE_W];