| #@TYPE: Machine | |
| #@NAME: Generic x86_64 | |
| #@DESCRIPTION: Machine configuration for generic x86_64 (64-bit) PCs and servers. Supports a moderately wide range of drivers that should boot and be usable on "typical" hardware. | |
| DEFAULTTUNE ?= "core2-64" | |
| require conf/machine/include/tune-core2.inc | |
| require conf/machine/include/genericx86-common.inc | |
| SERIAL_CONSOLES_CHECK = "ttyS0" |