Commit 5113e55e authored by Ben Hutchings's avatar Ben Hutchings

Merge tag 'debian/4.15.4-1' into stretch-backports

Release linux (4.15.4-1).

- Change ABI number to 0.bpo.1
- [x86] Add versioned (build-)dependencies on gcc-6 for retpoline support
parents cedf52ad a8a0de4a
......@@ -43,7 +43,10 @@ def print_stable_log(log, cur_ver, new_ver):
cur_ver = next_ver
def main(repo, new_ver):
os.environ['GIT_DIR'] = repo + '/.git'
if os.path.exists(os.path.join(repo, '.git')):
os.environ['GIT_DIR'] = os.path.join(repo, '.git')
else:
os.environ['GIT_DIR'] = repo
changelog = Changelog(version=VersionLinux)
cur_pkg_ver = changelog[0].version
......
This diff is collapsed.
This diff is collapsed.
......@@ -15,8 +15,13 @@ install-stem: vmlinuz
breaks: xserver-xorg-input-vmmouse (<< 1:13.0.99)
[relations]
headers%gcc-6: linux-compiler-gcc-6-x86
gcc-6: gcc-6 (>= 6.3.0-18+deb9u1~) <!stage1 !cross>, gcc-6-@gnu-type-package@ (>= 6.3.0-18+deb9u1~) <!stage1 cross>
headers%gcc-6: linux-compiler-gcc-6-x86 (>= 4.14.17-1~)
[amd64_description]
hardware: 64-bit PCs
hardware-long: PCs with AMD64, Intel 64 or VIA Nano processors
[cloud-amd64_description]
hardware: x86-64 cloud
hardware-long: Amazon EC2, Google Compute Engine and Microsoft Azure cloud platforms
[base]
flavours:
amd64
cloud-amd64
[amd64_description]
parts: xen
......@@ -23,7 +23,6 @@ CONFIG_ARM64_PMEM=y
CONFIG_RANDOMIZE_BASE=y
CONFIG_RANDOMIZE_MODULE_REGION_FULL=y
CONFIG_ARM64_ACPI_PARKING_PROTOCOL=y
CONFIG_EFI_SECURE_BOOT_LOCK_DOWN=y
CONFIG_COMPAT=y
##
......@@ -121,6 +120,7 @@ CONFIG_IPMI_SSIF=m
##
## file: drivers/clk/Kconfig
##
CONFIG_COMMON_CLK_HI655X=y
CONFIG_COMMON_CLK_RK808=y
CONFIG_COMMON_CLK_XGENE=y
......@@ -318,6 +318,7 @@ CONFIG_I2C_BCM2835=m
CONFIG_I2C_DESIGNWARE_PLATFORM=m
CONFIG_I2C_MESON=m
CONFIG_I2C_MV64XXX=m
CONFIG_I2C_PXA=m
CONFIG_I2C_QUP=m
CONFIG_I2C_RK3X=m
CONFIG_I2C_TEGRA=m
......@@ -780,12 +781,6 @@ CONFIG_QCOM_Q6V5_PIL=m
## file: drivers/reset/Kconfig
##
CONFIG_RESET_CONTROLLER=y
CONFIG_RESET_MESON=y
##
## file: drivers/reset/hisilicon/Kconfig
##
CONFIG_COMMON_RESET_HI6220=m
##
## file: drivers/rpmsg/Kconfig
......@@ -974,12 +969,10 @@ CONFIG_USB_GADGET=m
##
## file: drivers/usb/host/Kconfig
##
#. xhci-platform apparently does not build as module, so xhci_hcd can't be either
CONFIG_USB_XHCI_HCD=m
CONFIG_USB_XHCI_PLATFORM=m
CONFIG_USB_XHCI_TEGRA=m
CONFIG_USB_EHCI_HCD=m
CONFIG_USB_EHCI_MSM=m
CONFIG_USB_EHCI_TEGRA=m
CONFIG_USB_EHCI_HCD_PLATFORM=m
CONFIG_USB_OHCI_HCD=m
......@@ -1004,8 +997,6 @@ CONFIG_USB_HSIC_USB3503=m
## file: drivers/usb/phy/Kconfig
##
CONFIG_NOP_USB_XCEIV=m
CONFIG_USB_MSM_OTG=m
CONFIG_USB_QCOM_8X16_PHY=m
CONFIG_USB_ULPI=y
##
......
......@@ -213,7 +213,6 @@ CONFIG_ARM_KIRKWOOD_CPUIDLE=y
##
## file: drivers/crypto/Kconfig
##
# CONFIG_CRYPTO_DEV_MV_CESA is not set
CONFIG_CRYPTO_DEV_MARVELL_CESA=m
##
......@@ -725,11 +724,14 @@ CONFIG_NLS=m
#. Saves about 7K
# CONFIG_MEMCG is not set
# CONFIG_CFS_BANDWIDTH is not set
# CONFIG_CHECKPOINT_RESTORE is not set
# CONFIG_CGROUP_BPF is not set
## choice: Compiler optimization level
CONFIG_CC_OPTIMIZE_FOR_SIZE=y
## end choice
# CONFIG_CHECKPOINT_RESTORE is not set
# CONFIG_USERFAULTFD is not set
# CONFIG_SLUB_DEBUG is not set
# CONFIG_SLAB_FREELIST_HARDENED is not set
# CONFIG_PROFILING is not set
# CONFIG_MODULE_SIG is not set
......
[base]
flavours:
marvell
#marvell
kernel-arch: arm
[build]
......
......@@ -212,7 +212,6 @@ CONFIG_ARM_EXYNOS_CPUIDLE=y
##
## file: drivers/crypto/Kconfig
##
# CONFIG_CRYPTO_DEV_MV_CESA is not set
CONFIG_CRYPTO_DEV_MARVELL_CESA=m
CONFIG_CRYPTO_DEV_OMAP_SHAM=m
CONFIG_CRYPTO_DEV_OMAP_AES=m
......
......@@ -78,6 +78,9 @@ CONFIG_SYSTEM_TRUSTED_KEYS="debian/certs/benh@debian.org.cert.pem"
##
CONFIG_CRYPTO=y
CONFIG_CRYPTO_FIPS=y
CONFIG_CRYPTO_RSA=m
CONFIG_CRYPTO_DH=m
CONFIG_CRYPTO_ECDH=m
CONFIG_CRYPTO_MANAGER=y
CONFIG_CRYPTO_USER=m
# CONFIG_CRYPTO_MANAGER_DISABLE_TESTS is not set
......@@ -330,7 +333,6 @@ CONFIG_BLK_DEV_SKD=m
CONFIG_BLK_DEV_RAM=m
CONFIG_BLK_DEV_RAM_COUNT=16
CONFIG_BLK_DEV_RAM_SIZE=16384
# CONFIG_BLK_DEV_RAM_DAX is not set
CONFIG_ATA_OVER_ETH=m
CONFIG_XEN_BLKDEV_FRONTEND=m
CONFIG_XEN_BLKDEV_BACKEND=m
......@@ -583,7 +585,6 @@ CONFIG_GPIO_SYSFS=y
# CONFIG_GPIO_MAX732X is not set
# CONFIG_GPIO_PCA953X is not set
# CONFIG_GPIO_PCF857X is not set
# CONFIG_GPIO_SX150X is not set
# CONFIG_GPIO_TPIC2810 is not set
# CONFIG_GPIO_TS4900 is not set
# CONFIG_GPIO_CS5535 is not set
......@@ -1086,7 +1087,7 @@ CONFIG_VIPERBOARD_ADC=m
# CONFIG_AD5360 is not set
# CONFIG_AD5380 is not set
# CONFIG_AD5421 is not set
# CONFIG_AD5446 is not set
CONFIG_AD5446=m
# CONFIG_AD5449 is not set
# CONFIG_AD5592R is not set
# CONFIG_AD5593R is not set
......@@ -2631,7 +2632,6 @@ CONFIG_SENSORS_BH1770=m
CONFIG_SENSORS_APDS990X=m
CONFIG_HMC6352=m
CONFIG_DS1682=m
CONFIG_TI_DAC7512=m
# CONFIG_USB_SWITCH_FSA9480 is not set
# CONFIG_LATTICE_ECP3_CONFIG is not set
# CONFIG_SRAM is not set
......@@ -2810,6 +2810,7 @@ CONFIG_IFB=m
CONFIG_MACVLAN=m
CONFIG_MACVTAP=m
CONFIG_IPVLAN=m
CONFIG_IPVTAP=m
CONFIG_VXLAN=m
CONFIG_GENEVE=m
CONFIG_GTP=m
......@@ -3885,7 +3886,9 @@ CONFIG_NVDIMM_DAX=y
## file: drivers/nvme/host/Kconfig
##
CONFIG_BLK_DEV_NVME=m
CONFIG_NVME_MULTIPATH=y
CONFIG_NVME_RDMA=m
CONFIG_NVME_FC=m
##
## file: drivers/nvme/target/Kconfig
......@@ -3893,6 +3896,7 @@ CONFIG_NVME_RDMA=m
CONFIG_NVME_TARGET=m
# CONFIG_NVME_TARGET_LOOP is not set
CONFIG_NVME_TARGET_RDMA=m
CONFIG_NVME_TARGET_FC=m
##
## file: drivers/of/Kconfig
......@@ -3917,6 +3921,7 @@ CONFIG_PARPORT_1284=y
## file: drivers/pci/Kconfig
##
CONFIG_PCI_MSI=y
CONFIG_PCI_QUIRKS=y
# CONFIG_PCI_DEBUG is not set
CONFIG_PCI_REALLOC_ENABLE_AUTO=y
CONFIG_PCI_STUB=m
......@@ -4985,7 +4990,6 @@ CONFIG_USB_MON=y
# CONFIG_TWL6030_USB is not set
# CONFIG_USB_GPIO_VBUS is not set
# CONFIG_USB_ISP1301 is not set
# CONFIG_USB_MSM_OTG is not set
# CONFIG_USB_MV_OTG is not set
# CONFIG_USB_MXS_PHY is not set
# CONFIG_USB_ULPI is not set
......@@ -5082,8 +5086,13 @@ CONFIG_UCSI_ACPI=m
##
## file: drivers/usb/usbip/Kconfig
##
# CONFIG_USBIP_CORE is not set
CONFIG_USBIP_CORE=m
CONFIG_USBIP_VHCI_HCD=m
CONFIG_USBIP_VHCI_HC_PORTS=15
CONFIG_USBIP_VHCI_NR_HCS=8
CONFIG_USBIP_HOST=m
CONFIG_USBIP_VUDC=m
# CONFIG_USBIP_DEBUG is not set
##
## file: drivers/usb/wusbcore/Kconfig
......@@ -5200,7 +5209,8 @@ CONFIG_VIRTIO_PCI=m
CONFIG_VIRTIO_PCI_LEGACY=y
CONFIG_VIRTIO_BALLOON=m
CONFIG_VIRTIO_INPUT=m
# CONFIG_VIRTIO_MMIO is not set
CONFIG_VIRTIO_MMIO=m
# CONFIG_VIRTIO_MMIO_CMDLINE_DEVICES is not set
##
## file: drivers/vme/Kconfig
......@@ -5837,7 +5847,6 @@ CONFIG_SWAP=y
CONFIG_SYSVIPC=y
CONFIG_POSIX_MQUEUE=y
CONFIG_CROSS_MEMORY_ATTACH=y
CONFIG_FHANDLE=y
# CONFIG_USELIB is not set
CONFIG_AUDIT=y
CONFIG_BSD_PROCESS_ACCT=y
......@@ -5850,7 +5859,7 @@ CONFIG_TASK_IO_ACCOUNTING=y
CONFIG_LOG_BUF_SHIFT=17
CONFIG_LOG_CPU_MAX_BUF_SHIFT=12
CONFIG_NUMA_BALANCING=y
# CONFIG_NUMA_BALANCING_DEFAULT_ENABLED is not set
CONFIG_NUMA_BALANCING_DEFAULT_ENABLED=y
CONFIG_CGROUPS=y
CONFIG_MEMCG=y
CONFIG_MEMCG_SWAP=y
......@@ -5869,8 +5878,8 @@ CONFIG_PROC_PID_CPUSET=y
CONFIG_CGROUP_DEVICE=y
CONFIG_CGROUP_CPUACCT=y
CONFIG_CGROUP_PERF=y
CONFIG_CGROUP_BPF=y
# CONFIG_CGROUP_DEBUG is not set
CONFIG_CHECKPOINT_RESTORE=y
CONFIG_NAMESPACES=y
CONFIG_UTS_NS=y
CONFIG_IPC_NS=y
......@@ -5891,8 +5900,7 @@ CONFIG_UID16=y
CONFIG_MULTIUSER=y
# CONFIG_SYSFS_SYSCALL is not set
# CONFIG_SYSCTL_SYSCALL is not set
CONFIG_KALLSYMS=y
# CONFIG_KALLSYMS_ALL is not set
CONFIG_FHANDLE=y
CONFIG_PRINTK=y
CONFIG_BUG=y
CONFIG_ELF_CORE=y
......@@ -5903,24 +5911,29 @@ CONFIG_EPOLL=y
CONFIG_SIGNALFD=y
CONFIG_TIMERFD=y
CONFIG_EVENTFD=y
CONFIG_BPF_SYSCALL=y
CONFIG_SHMEM=y
CONFIG_AIO=y
CONFIG_ADVISE_SYSCALLS=y
CONFIG_USERFAULTFD=y
CONFIG_PCI_QUIRKS=y
CONFIG_MEMBARRIER=y
CONFIG_CHECKPOINT_RESTORE=y
CONFIG_KALLSYMS=y
# CONFIG_KALLSYMS_ALL is not set
CONFIG_BPF_SYSCALL=y
CONFIG_USERFAULTFD=y
# CONFIG_EMBEDDED is not set
CONFIG_PERF_EVENTS=y
# CONFIG_DEBUG_PERF_USE_VMALLOC is not set
CONFIG_VM_EVENT_COUNTERS=y
CONFIG_SLUB_DEBUG=y
# CONFIG_SLUB_MEMCG_SYSFS_ON is not set
# CONFIG_COMPAT_BRK is not set
## choice: Choose SLAB allocator
CONFIG_SLAB=y
# CONFIG_SLUB is not set
# CONFIG_SLOB is not set
CONFIG_SLUB=y
## end choice
CONFIG_SLAB_MERGE_DEFAULT=y
CONFIG_SLAB_FREELIST_RANDOM=y
CONFIG_SLAB_FREELIST_HARDENED=y
CONFIG_SLUB_CPU_PARTIAL=y
# CONFIG_MMAP_ALLOW_UNINITIALIZED is not set
CONFIG_PROFILING=y
CONFIG_MODULES=y
......@@ -6086,7 +6099,6 @@ CONFIG_MAGIC_SYSRQ=y
CONFIG_MAGIC_SYSRQ_DEFAULT_ENABLE=0x01b6
CONFIG_DEBUG_KERNEL=y
# CONFIG_DEBUG_OBJECTS is not set
# CONFIG_DEBUG_SLAB is not set
# CONFIG_SLUB_DEBUG_ON is not set
# CONFIG_SLUB_STATS is not set
# CONFIG_DEBUG_KMEMLEAK is not set
......@@ -6182,11 +6194,6 @@ CONFIG_IO_STRICT_DEVMEM=y
##
# CONFIG_KGDB is not set
##
## file: lib/Kconfig.kmemcheck
##
# CONFIG_KMEMCHECK is not set
##
## file: lib/Kconfig.ubsan
##
......@@ -6480,6 +6487,7 @@ CONFIG_NET_FOU=m
CONFIG_NET_FOU_IP_TUNNELS=y
CONFIG_INET_AH=m
CONFIG_INET_ESP=m
CONFIG_INET_ESP_OFFLOAD=m
CONFIG_INET_IPCOMP=m
CONFIG_INET_XFRM_MODE_TRANSPORT=m
CONFIG_INET_XFRM_MODE_TUNNEL=m
......@@ -6563,6 +6571,7 @@ CONFIG_IPV6_ROUTE_INFO=y
CONFIG_IPV6_OPTIMISTIC_DAD=y
CONFIG_INET6_AH=m
CONFIG_INET6_ESP=m
CONFIG_INET6_ESP_OFFLOAD=m
CONFIG_INET6_IPCOMP=m
CONFIG_IPV6_MIP6=y
CONFIG_IPV6_ILA=m
......@@ -6580,6 +6589,8 @@ CONFIG_IPV6_SUBTREES=y
CONFIG_IPV6_MROUTE=y
CONFIG_IPV6_MROUTE_MULTIPLE_TABLES=y
CONFIG_IPV6_PIMSM_V2=y
CONFIG_IPV6_SEG6_LWTUNNEL=y
CONFIG_IPV6_SEG6_HMAC=y
##
## file: net/ipv6/netfilter/Kconfig
......@@ -6683,6 +6694,7 @@ CONFIG_NETFILTER_NETLINK_ACCT=m
CONFIG_NETFILTER_NETLINK_QUEUE=m
CONFIG_NETFILTER_NETLINK_LOG=m
CONFIG_NF_CONNTRACK=m
CONFIG_NF_LOG_NETDEV=m
CONFIG_NF_CONNTRACK_MARK=y
CONFIG_NF_CONNTRACK_SECMARK=y
CONFIG_NF_CONNTRACK_ZONES=y
......@@ -6821,6 +6833,7 @@ CONFIG_IP_SET_HASH_IPMARK=m
CONFIG_IP_SET_HASH_IPPORT=m
CONFIG_IP_SET_HASH_IPPORTIP=m
CONFIG_IP_SET_HASH_IPPORTNET=m
CONFIG_IP_SET_HASH_IPMAC=m
CONFIG_IP_SET_HASH_MAC=m
CONFIG_IP_SET_HASH_NETPORTNET=m
CONFIG_IP_SET_HASH_NET=m
......@@ -6984,6 +6997,7 @@ CONFIG_NET_ACT_POLICE=m
CONFIG_NET_ACT_GACT=m
CONFIG_GACT_PROB=y
CONFIG_NET_ACT_MIRRED=m
CONFIG_NET_ACT_SAMPLE=m
CONFIG_NET_ACT_IPT=m
CONFIG_NET_ACT_NAT=m
CONFIG_NET_ACT_PEDIT=m
......@@ -7062,7 +7076,6 @@ CONFIG_CFG80211=m
# CONFIG_CFG80211_CERTIFICATION_ONUS is not set
CONFIG_CFG80211_DEFAULT_PS=y
# CONFIG_CFG80211_DEBUGFS is not set
# CONFIG_CFG80211_INTERNAL_REGDB is not set
CONFIG_CFG80211_WEXT=y
# CONFIG_LIB80211_DEBUG is not set
......@@ -7100,6 +7113,7 @@ CONFIG_LSM_MMAP_MIN_ADDR=32768
CONFIG_HARDENED_USERCOPY=y
# CONFIG_HARDENED_USERCOPY_PAGESPAN is not set
CONFIG_LOCK_DOWN_KERNEL=y
CONFIG_LOCK_DOWN_IN_EFI_SECURE_BOOT=y
## choice: Default security module
CONFIG_DEFAULT_SECURITY_APPARMOR=y
## end choice
......@@ -7190,7 +7204,6 @@ CONFIG_SECURITY_YAMA=y
CONFIG_SOUND=m
# CONFIG_SOUND_OSS_CORE_PRECLAIM is not set
CONFIG_SND=m
# CONFIG_SOUND_PRIME is not set
##
## file: sound/core/Kconfig
......
[abi]
abiname: 0.bpo.3
abiname: 0.bpo.1
ignore-changes:
__cpuhp_*
__xive_vm_h_*
bpf_analyzer
cxl_*
dax_flush
ieee80211_nullfunc_get
inet_add_protocol
inet_del_protocol
iommu_device_*
......@@ -39,6 +40,7 @@ ignore-changes:
module:fs/nfs/**
module:net/ceph/libceph
module:net/l2tp/**
module:net/rxrpc/rxrpc
module:sound/core/seq/**
module:sound/firewire/snd-firewire-lib
# btree library is only selected by few drivers so not useful OOT
......@@ -110,7 +112,7 @@ debug-info: true
signed-modules: false
[featureset-rt_base]
enabled: true
enabled: false
[description]
part-long-up: This kernel is not suitable for SMP (multi-processor,
......
......@@ -20,7 +20,8 @@ install-stem: vmlinuz
breaks: xserver-xorg-input-vmmouse (<< 1:13.0.99)
[relations]
headers%gcc-6: linux-compiler-gcc-6-x86
gcc-6: gcc-6 (>= 6.3.0-18+deb9u1~) <!stage1 !cross>, gcc-6-@gnu-type-package@ (>= 6.3.0-18+deb9u1~) <!stage1 cross>
headers%gcc-6: linux-compiler-gcc-6-x86 (>= 4.14.17-1~)
[686_description]
hardware: older PCs
......
......@@ -27,6 +27,7 @@ CONFIG_DMI=y
CONFIG_GART_IOMMU=y
CONFIG_SCHED_SMT=y
CONFIG_SCHED_MC=y
CONFIG_SCHED_MC_PRIO=y
CONFIG_X86_REROUTE_FOR_BROKEN_BOOT_IRQS=y
CONFIG_X86_MCE=y
CONFIG_X86_MCE_INTEL=y
......@@ -55,7 +56,6 @@ CONFIG_X86_SMAP=y
CONFIG_X86_INTEL_MPX=y
CONFIG_EFI=y
CONFIG_EFI_STUB=y
CONFIG_EFI_SECURE_BOOT_LOCK_DOWN=y
CONFIG_SECCOMP=y
CONFIG_KEXEC=y
CONFIG_CRASH_DUMP=y
......@@ -1284,7 +1284,6 @@ CONFIG_BTT=y
##
## file: drivers/pci/Kconfig
##
CONFIG_HT_IRQ=y
CONFIG_PCI_PRI=y
CONFIG_PCI_PASID=y
......@@ -1723,16 +1722,6 @@ CONFIG_USB_SL811_HCD=m
# CONFIG_USB_SL811_HCD_ISO is not set
CONFIG_USB_SL811_CS=m
##
## file: drivers/usb/usbip/Kconfig
##
CONFIG_USBIP_CORE=m
CONFIG_USBIP_VHCI_HCD=m
CONFIG_USBIP_VHCI_HC_PORTS=31
CONFIG_USBIP_VHCI_NR_HCS=8
CONFIG_USBIP_HOST=m
# CONFIG_USBIP_DEBUG is not set
##
## file: drivers/vfio/Kconfig
##
......@@ -1944,6 +1933,7 @@ CONFIG_NFC_HCI=m
## file: net/vmw_vsock/Kconfig
##
CONFIG_VMWARE_VMCI_VSOCKETS=m
CONFIG_HYPERV_VSOCKETS=m
##
## file: sound/drivers/Kconfig
......@@ -2015,15 +2005,13 @@ CONFIG_SND_SOC=m
CONFIG_SND_SOC_AMD_ACP=m
##
## file: sound/soc/intel/Kconfig
## file: sound/soc/intel/boards/Kconfig
##
CONFIG_SND_SOC_INTEL_HASWELL_MACH=m
# CONFIG_SND_SOC_INTEL_BXT_DA7219_MAX98357A_MACH is not set
# CONFIG_SND_SOC_INTEL_BXT_RT298_MACH is not set
# CONFIG_SND_SOC_INTEL_BYT_RT5640_MACH is not set
CONFIG_SND_SOC_INTEL_BYT_MAX98090_MACH=m
CONFIG_SND_SOC_INTEL_BDW_RT5677_MACH=m
CONFIG_SND_SOC_INTEL_BROADWELL_MACH=m
CONFIG_SND_SOC_INTEL_BYT_MAX98090_MACH=m
# CONFIG_SND_SOC_INTEL_BYT_RT5640_MACH is not set
CONFIG_SND_SOC_INTEL_BYTCR_RT5640_MACH=m
CONFIG_SND_SOC_INTEL_BYTCR_RT5651_MACH=m
CONFIG_SND_SOC_INTEL_CHT_BSW_RT5672_MACH=m
......@@ -2032,6 +2020,8 @@ CONFIG_SND_SOC_INTEL_CHT_BSW_MAX98090_TI_MACH=m
CONFIG_SND_SOC_INTEL_SKL_RT286_MACH=m
CONFIG_SND_SOC_INTEL_SKL_NAU88L25_SSM4567_MACH=m
CONFIG_SND_SOC_INTEL_SKL_NAU88L25_MAX98357A_MACH=m
# CONFIG_SND_SOC_INTEL_BXT_DA7219_MAX98357A_MACH is not set
# CONFIG_SND_SOC_INTEL_BXT_RT298_MACH is not set
##
## file: sound/x86/Kconfig
......
......@@ -22,7 +22,6 @@ CONFIG_SCM_BUS=y
CONFIG_EADM_SCH=m
CONFIG_SECCOMP=y
CONFIG_PFAULT=y
# CONFIG_SHARED_KERNEL is not set