| CONFIG_SYSVIPC=y |
| CONFIG_POSIX_MQUEUE=y |
| CONFIG_NO_HZ=y |
| CONFIG_HIGH_RES_TIMERS=y |
| CONFIG_PREEMPT=y |
| CONFIG_MODULES=y |
| CONFIG_MODULE_UNLOAD=y |
| CONFIG_NET=y |
| CONFIG_PACKET=y |
| CONFIG_UNIX=y |
| CONFIG_INET=y |
| CONFIG_CFG80211=y |
| CONFIG_CFG80211_WEXT=y |
| CONFIG_MAC80211=y |
| CONFIG_RFKILL=y |
| CONFIG_DEVTMPFS=y |
| CONFIG_DEVTMPFS_MOUNT=y |
| CONFIG_SCSI=y |
| CONFIG_BLK_DEV_SD=y |
| CONFIG_BLK_DEV_SR=y |
| CONFIG_CHR_DEV_SG=y |
| CONFIG_NETDEVICES=y |
| CONFIG_LIBERTAS=m |
| CONFIG_INPUT_MOUSEDEV=y |
| CONFIG_INPUT_MOUSEDEV_PSAUX=y |
| CONFIG_INPUT_MOUSEDEV_SCREEN_X=1200 |
| CONFIG_INPUT_MOUSEDEV_SCREEN_Y=900 |
| CONFIG_INPUT_EVDEV=y |
| CONFIG_INPUT_TABLET=y |
| CONFIG_SERIO_OLPC_APSP=y |
| CONFIG_SERIAL_8250=y |
| CONFIG_SERIAL_8250_CONSOLE=y |
| CONFIG_BATTERY_OLPC=y |
| CONFIG_REGULATOR_FIXED_VOLTAGE=y |
| CONFIG_MEDIA_SUPPORT=y |
| CONFIG_MEDIA_CAMERA_SUPPORT=y |
| CONFIG_MEDIA_CONTROLLER=y |
| CONFIG_VIDEO_V4L2_SUBDEV_API=y |
| CONFIG_MEDIA_USB_SUPPORT=y |
| CONFIG_USB_VIDEO_CLASS=m |
| CONFIG_V4L_PLATFORM_DRIVERS=y |
| CONFIG_DRM=y |
| CONFIG_DRM_PANEL_SIMPLE=m |
| CONFIG_FRAMEBUFFER_CONSOLE=y |
| CONFIG_FB_SIMPLE=y |
| CONFIG_LCD_CLASS_DEVICE=y |
| CONFIG_SOUND=y |
| CONFIG_SND=y |
| CONFIG_USB=y |
| CONFIG_USB_EHCI_HCD=y |
| CONFIG_USB_STORAGE=y |
| CONFIG_MMC=y |
| CONFIG_MMC_SDHCI=y |
| CONFIG_MMC_SDHCI_PCI=y |
| CONFIG_MMC_SDHCI_PLTFM=y |
| CONFIG_LEDS_CLASS=y |
| CONFIG_LEDS_GPIO=y |
| CONFIG_LEDS_TRIGGER_HEARTBEAT=y |
| CONFIG_LEDS_TRIGGER_DEFAULT_ON=y |
| CONFIG_RTC_CLASS=y |
| CONFIG_EXT4_FS=y |
| CONFIG_MSDOS_FS=y |
| CONFIG_VFAT_FS=y |
| CONFIG_TMPFS_POSIX_ACL=y |
| CONFIG_FONTS=y |
| CONFIG_FONT_TER16x32=y |