cachepc-linux

Fork of AMDESE/linux with modifications for CachePC side-channel attack
git clone https://git.sinitax.com/sinitax/cachepc-linux
Log | Files | Refs | README | LICENSE | sfeed.txt

xen.config (744B)

      1# global x86 required specific stuff
      2# On 32-bit HIGHMEM4G is not allowed
      3CONFIG_HIGHMEM64G=y
      4CONFIG_64BIT=y
      5
      6# These enable us to allow some of the
      7# not so generic stuff below
      8CONFIG_HYPERVISOR_GUEST=y
      9CONFIG_PCI=y
     10CONFIG_PCI_MSI=y
     11CONFIG_X86_MCE=y
     12CONFIG_ACPI_PROCESSOR=y
     13CONFIG_CPU_FREQ=y
     14
     15# x86 xen specific config options
     16CONFIG_XEN_PVH=y
     17CONFIG_XEN_MAX_DOMAIN_MEMORY=500
     18CONFIG_XEN_SAVE_RESTORE=y
     19# CONFIG_XEN_DEBUG_FS is not set
     20CONFIG_XEN_MCE_LOG=y
     21CONFIG_XEN_ACPI_PROCESSOR=m
     22# x86 specific backend drivers
     23CONFIG_XEN_PCIDEV_BACKEND=m
     24# x86 specific frontend drivers
     25CONFIG_XEN_PCIDEV_FRONTEND=m
     26# depends on MEMORY_HOTPLUG, arm64 doesn't enable this yet,
     27# move to generic config if it ever does.
     28CONFIG_XEN_BALLOON_MEMORY_HOTPLUG=y