chip soc/intel/broadwell # FIXME: check these values
	register "alt_gp_smi_en" = "0"
	register "gen1_dec" = "0x007c0201"
	register "gen2_dec" = "0x000c0101"
	register "gen3_dec" = "0x00000000"
	register "gen4_dec" = "0x000402e9"
	register "gfx" = "GMA_STATIC_DISPLAYS(0)"
	register "gpe0_en_1" = "0"
	register "gpe0_en_2" = "0"
	register "gpe0_en_3" = "0"
	register "gpe0_en_4" = "0"
	register "gpu_dp_b_hotplug" = "4"
	register "gpu_dp_c_hotplug" = "4"
	register "gpu_dp_d_hotplug" = "4"
	register "gpu_panel_power_backlight_off_delay" = "1"
	register "gpu_panel_power_backlight_on_delay" = "1"
	register "gpu_panel_power_cycle_delay" = "6"
	register "gpu_panel_power_down_delay" = "500"
	register "gpu_panel_power_up_delay" = "2000"
	register "gpu_pch_backlight_pwm_hz" = "200"
	register "pcie_port_coalesce" = "1"
	register "pcie_port_force_aspm" = "0"
	register "sata_devslp_disable" = "0"
	register "sata_devslp_mux" = "0"
	register "sata_port0_gen3_dtle" = "0x0"
	register "sata_port0_gen3_tx" = "0x0"
	register "sata_port1_gen3_dtle" = "0x0"
	register "sata_port1_gen3_tx" = "0x0"
	register "sata_port2_gen3_dtle" = "0x0"
	register "sata_port2_gen3_tx" = "0x0"
	register "sata_port3_gen3_dtle" = "0x0"
	register "sata_port3_gen3_tx" = "0x0"
	register "sata_port_map" = "0xa"
	register "sio_acpi_mode" = "0"
	register "sio_i2c0_voltage" = "0"
	register "sio_i2c1_voltage" = "0"
	device cpu_cluster 0x0 on
		device lapic 0x0 on
		end
	end
	device domain 0x0 on
		device pci 00.0 on # Host bridge
			subsystemid 0x103c 0x225a
		end
		device pci 02.0 on # Internal graphics VGA controller
			subsystemid 0x103c 0x225a
		end
		device pci 03.0 on # Mini-HD audio
			subsystemid 0x103c 0x225a
		end
		device pci 13.0 off # Smart Sound Audio DSP
		end
		device pci 14.0 on # xHCI Controller
			subsystemid 0x103c 0x225a
		end
		device pci 15.0 off # Serial I/O DMA
		end
		device pci 15.1 off # I2C0
		end
		device pci 15.2 off # I2C1
		end
		device pci 15.3 off # GSPI0
		end
		device pci 15.4 off # GSPI1
		end
		device pci 15.5 off # UART0
		end
		device pci 15.6 off # UART1
		end
		device pci 16.0 on # Management Engine Interface 1
			subsystemid 0x103c 0x225a
		end
		device pci 16.1 off # Management Engine Interface 2
		end
		device pci 16.2 off # Management Engine IDE-R
		end
		device pci 16.3 off # Management Engine KT
		end
		device pci 17.0 off # SDIO
		end
		device pci 19.0 on # Intel Gigabit Ethernet Unsupported PCI device 8086:15a2
			subsystemid 0x103c 0x225a
		end
		device pci 1b.0 on # High Definition Audio
			subsystemid 0x103c 0x225a
		end
		device pci 1c.0 on # PCIe Port #1
			subsystemid 0x103c 0x225a
		end
		device pci 1c.1 on # PCIe Port #2
			subsystemid 0x103c 0x225a
		end
		device pci 1c.2 off # PCIe Port #3
		end
		device pci 1c.3 on # PCIe Port #4
			subsystemid 0x103c 0x225a
		end
		device pci 1c.4 off # PCIe Port #5
		end
		device pci 1c.5 off # PCIe Port #6
		end
		device pci 1d.0 on # USB2 EHCI #1
			subsystemid 0x103c 0x225a
		end
		device pci 1e.0 off # PCI bridge
		end
		device pci 1f.0 on # LPC bridge
			subsystemid 0x103c 0x225a
		end
		device pci 1f.2 on # SATA Controller (AHCI)
			subsystemid 0x103c 0x225a
		end
		device pci 1f.3 on # SMBus
			subsystemid 0x103c 0x225a
		end
		device pci 1f.6 off # Thermal
		end
	end
end