1CONFIG_X86=y
2CONFIG_VENDOR_GOOGLE=y
3CONFIG_TARGET_CHROMEBOX_PANTHER=y
4CONFIG_OF_CONTROL=y
5CONFIG_OF_SEPARATE=y
6CONFIG_DEFAULT_DEVICE_TREE="chromebox_panther"
7CONFIG_HAVE_MRC=y
8CONFIG_SMM_TSEG_SIZE=0x800000
9CONFIG_VIDEO_VESA=y
10CONFIG_FRAMEBUFFER_SET_VESA_MODE=y
11CONFIG_FRAMEBUFFER_VESA_MODE_11A=y
12CONFIG_DM_PCI=y
13