Use Claudio's kernel config

i.e. the file jailhouse/kernel/tx2/config.

diff --git a/build/linux-4.4/.config b/build/linux-4.4/.config
index c3db5a9e3f1721d2cbe52858ab5cb700ac001f07..9df86e4f6938b7039c0f5b1a1cdefdd3ae083c27 100644 (file)
--- a/build/linux-4.4/.config
+++ b/build/linux-4.4/.config
@@ -363,7 +363,7 @@ CONFIG_PCI_MSI_IRQ_DOMAIN=y
 # PCI host controller drivers
 #
 CONFIG_PCI_TEGRA=m
-# CONFIG_PCI_HOST_GENERIC is not set
+CONFIG_PCI_HOST_GENERIC=y
 # CONFIG_PCIE_IPROC is not set
 # CONFIG_PCI_HISI is not set
 CONFIG_PCIEPORTBUS=y
@@ -1274,7 +1274,7 @@ CONFIG_OF_PCI_IRQ=y
 CONFIG_OF_MTD=y
 CONFIG_OF_RESERVED_MEM=y
 CONFIG_OF_RESOLVE=y
-# CONFIG_OF_OVERLAY is not set
+CONFIG_OF_OVERLAY=y
 # CONFIG_PARPORT is not set
 CONFIG_BLK_DEV=y
 # CONFIG_BLK_DEV_NULL_BLK is not set
@@ -2600,8 +2600,6 @@ CONFIG_HWMON=y
 # CONFIG_SENSORS_SMSC47M192 is not set
 # CONFIG_SENSORS_SMSC47B397 is not set
 # CONFIG_SENSORS_SCH56XX_COMMON is not set
-# CONFIG_SENSORS_SCH5627 is not set
-# CONFIG_SENSORS_SCH5636 is not set
 # CONFIG_SENSORS_SMM665 is not set
 # CONFIG_SENSORS_ADC128D818 is not set
 # CONFIG_SENSORS_ADS1015 is not set
@@ -2666,40 +2664,7 @@ CONFIG_TRUSTY=y
 CONFIG_TRUSTY_LOG=y
 CONFIG_TRUSTY_VIRTIO=y
 CONFIG_TRUSTY_VIRTIO_IPC=y
-CONFIG_WATCHDOG=y
-CONFIG_WATCHDOG_CORE=y
-# CONFIG_WATCHDOG_NOWAYOUT is not set
-# CONFIG_WATCHDOG_SYSFS is not set
-
-#
-# Watchdog Device Drivers
-#
-# CONFIG_SOFT_WATCHDOG is not set
-CONFIG_SOFT_PLATFORM_WATCHDOG=y
-# CONFIG_GPIO_WATCHDOG is not set
-# CONFIG_XILINX_WATCHDOG is not set
-# CONFIG_ARM_SP805_WATCHDOG is not set
-# CONFIG_CADENCE_WATCHDOG is not set
-# CONFIG_DW_WATCHDOG is not set
-# CONFIG_MAX63XX_WATCHDOG is not set
-# CONFIG_MAX77620_WATCHDOG is not set
-# CONFIG_TEGRA_WATCHDOG is not set
-# CONFIG_ALIM7101_WDT is not set
-# CONFIG_I6300ESB_WDT is not set
-# CONFIG_BCM7038_WDT is not set
-# CONFIG_MEN_A21_WDT is not set
-
-#
-# PCI-based Watchdog Cards
-#
-# CONFIG_PCIPCWATCHDOG is not set
-# CONFIG_WDTPCI is not set
-
-#
-# USB-based Watchdog Cards
-#
-# CONFIG_USBPCWATCHDOG is not set
-CONFIG_TEGRA18X_WATCHDOG=y
+# CONFIG_WATCHDOG is not set
 CONFIG_SSB_POSSIBLE=y
 
 #
@@ -4154,7 +4119,16 @@ CONFIG_TEGRA_ADMA_WAR=y
 # CONFIG_DMATEST is not set
 CONFIG_TEGRA186_GPC_DMA=y
 # CONFIG_AUXDISPLAY is not set
-# CONFIG_UIO is not set
+CONFIG_UIO=y
+# CONFIG_UIO_CIF is not set
+# CONFIG_UIO_PDRV_GENIRQ is not set
+# CONFIG_UIO_DMEM_GENIRQ is not set
+# CONFIG_UIO_AEC is not set
+# CONFIG_UIO_SERCOS3 is not set
+# CONFIG_UIO_PCI_GENERIC is not set
+# CONFIG_UIO_NETX is not set
+# CONFIG_UIO_PRUSS is not set
+# CONFIG_UIO_MF624 is not set
 # CONFIG_VFIO is not set
 CONFIG_VIRT_DRIVERS=y
 # CONFIG_TEGRA_VIRTUALIZATION is not set