diff options
Diffstat (limited to 'debian/config/hppa')
-rw-r--r-- | debian/config/hppa/config | 667 | ||||
-rw-r--r-- | debian/config/hppa/config.parisc | 27 | ||||
-rw-r--r-- | debian/config/hppa/config.parisc64 | 58 | ||||
-rw-r--r-- | debian/config/hppa/defines | 29 |
4 files changed, 781 insertions, 0 deletions
diff --git a/debian/config/hppa/config b/debian/config/hppa/config new file mode 100644 index 000000000..2960e7c3e --- /dev/null +++ b/debian/config/hppa/config @@ -0,0 +1,667 @@ +## +## file: arch/parisc/Kconfig +## +## choice: Processor type +# CONFIG_PA7100LC is not set +# CONFIG_PA7200 is not set +# CONFIG_PA7300LC is not set +## end choice +CONFIG_MLONGCALLS=y +## choice: Kernel page size +CONFIG_PARISC_PAGE_SIZE_4KB=y +# CONFIG_PARISC_PAGE_SIZE_16KB is not set +# CONFIG_PARISC_PAGE_SIZE_64KB is not set +## end choice + +## +## file: block/partitions/Kconfig +## +# CONFIG_PARTITION_ADVANCED is not set + +## +## file: crypto/Kconfig +## +CONFIG_CRYPTO_MANAGER_DISABLE_TESTS=y + +## +## file: drivers/ata/Kconfig +## +CONFIG_PATA_NS87415=m +CONFIG_PATA_LEGACY=m + +## +## file: drivers/block/Kconfig +## +# CONFIG_BLK_DEV_FD is not set +# CONFIG_BLK_DEV_UMEM is not set +CONFIG_CDROM_PKTCDVD=m +CONFIG_CDROM_PKTCDVD_BUFFERS=8 +# CONFIG_CDROM_PKTCDVD_WCACHE is not set + +## +## file: drivers/char/Kconfig +## +CONFIG_PRINTER=m +# CONFIG_LP_CONSOLE is not set +CONFIG_PPDEV=m +# CONFIG_DTLK is not set +# CONFIG_APPLICOM is not set + +## +## file: drivers/char/ipmi/Kconfig +## +# CONFIG_IPMI_HANDLER is not set + +## +## file: drivers/eisa/Kconfig +## +CONFIG_EISA=y +CONFIG_EISA_NAMES=y + +## +## file: drivers/firewire/Kconfig +## +# CONFIG_FIREWIRE is not set + +## +## file: drivers/gpu/drm/Kconfig +## +# CONFIG_DRM is not set + +## +## file: drivers/hid/usbhid/Kconfig +## +CONFIG_USB_HID=m + +## +## file: drivers/hwmon/Kconfig +## +# CONFIG_SENSORS_F71805F is not set + +## +## file: drivers/i2c/Kconfig +## +# CONFIG_I2C is not set + +## +## file: drivers/input/Kconfig +## +# CONFIG_INPUT_JOYDEV is not set + +## +## file: drivers/input/gameport/Kconfig +## +# CONFIG_GAMEPORT is not set + +## +## file: drivers/input/joystick/Kconfig +## +# CONFIG_INPUT_JOYSTICK is not set + +## +## file: drivers/input/keyboard/Kconfig +## +CONFIG_INPUT_KEYBOARD=y +CONFIG_KEYBOARD_ATKBD=y +CONFIG_KEYBOARD_ATKBD_HP_KEYCODES=y +# CONFIG_KEYBOARD_ATKBD_RDI_KEYCODES is not set +# CONFIG_KEYBOARD_LKKBD is not set +CONFIG_KEYBOARD_HIL_OLD=m +CONFIG_KEYBOARD_HIL=m +# CONFIG_KEYBOARD_NEWTON is not set +# CONFIG_KEYBOARD_SUNKBD is not set +# CONFIG_KEYBOARD_XTKBD is not set + +## +## file: drivers/input/misc/Kconfig +## +CONFIG_INPUT_MISC=y +# CONFIG_HP_SDC_RTC is not set + +## +## file: drivers/input/mouse/Kconfig +## +CONFIG_INPUT_MOUSE=y +CONFIG_MOUSE_PS2=m +# CONFIG_MOUSE_SERIAL is not set +# CONFIG_MOUSE_INPORT is not set +# CONFIG_MOUSE_LOGIBM is not set +# CONFIG_MOUSE_PC110PAD is not set +# CONFIG_MOUSE_VSXXXAA is not set + +## +## file: drivers/input/serio/Kconfig +## +CONFIG_SERIO=y +# CONFIG_SERIO_SERPORT is not set +# CONFIG_SERIO_PARKBD is not set +CONFIG_SERIO_GSCPS2=y +CONFIG_HP_SDC=m +CONFIG_HIL_MLC=m +# CONFIG_SERIO_PCIPS2 is not set +CONFIG_SERIO_LIBPS2=y +CONFIG_SERIO_RAW=m + +## +## file: drivers/input/touchscreen/Kconfig +## +# CONFIG_INPUT_TOUCHSCREEN is not set + +## +## file: drivers/mfd/Kconfig +## +# CONFIG_AB3100_CORE is not set + +## +## file: drivers/mmc/Kconfig +## +# CONFIG_MMC is not set + +## +## file: drivers/mtd/Kconfig +## +# CONFIG_MTD is not set + +## +## file: drivers/net/arcnet/Kconfig +## +# CONFIG_ARCNET is not set + +## +## file: drivers/net/ethernet/Kconfig +## +CONFIG_FEALNX=m + +## +## file: drivers/net/ethernet/3com/Kconfig +## +CONFIG_NET_VENDOR_3COM=y +CONFIG_EL3=m +# CONFIG_3C515 is not set +CONFIG_PCMCIA_3C574=m +CONFIG_PCMCIA_3C589=m +CONFIG_VORTEX=m +CONFIG_TYPHOON=m + +## +## file: drivers/net/ethernet/8390/Kconfig +## +CONFIG_PCMCIA_AXNET=m +CONFIG_NE2000=m +CONFIG_NE2K_PCI=m +CONFIG_PCMCIA_PCNET=m +CONFIG_ULTRA=m +CONFIG_WD80x3=m + +## +## file: drivers/net/ethernet/adaptec/Kconfig +## +CONFIG_ADAPTEC_STARFIRE=m + +## +## file: drivers/net/ethernet/amd/Kconfig +## +CONFIG_AMD8111_ETH=m +# CONFIG_LANCE is not set +CONFIG_PCMCIA_NMCLAN=m +# CONFIG_NI65 is not set + +## +## file: drivers/net/ethernet/broadcom/Kconfig +## +CONFIG_B44=m + +## +## file: drivers/net/ethernet/cirrus/Kconfig +## +CONFIG_CS89x0=m + +## +## file: drivers/net/ethernet/dec/tulip/Kconfig +## +CONFIG_NET_TULIP=y +# CONFIG_DE2104X is not set +CONFIG_TULIP=m +# CONFIG_TULIP_MWI is not set +CONFIG_TULIP_MMIO=y +# CONFIG_WINBOND_840 is not set +# CONFIG_DM9102 is not set +CONFIG_PCMCIA_XIRCOM=m + +## +## file: drivers/net/ethernet/dlink/Kconfig +## +CONFIG_SUNDANCE=m +# CONFIG_SUNDANCE_MMIO is not set + +## +## file: drivers/net/ethernet/fujitsu/Kconfig +## +CONFIG_PCMCIA_FMVJ18X=m + +## +## file: drivers/net/ethernet/i825xx/Kconfig +## +CONFIG_LASI_82596=m + +## +## file: drivers/net/ethernet/intel/Kconfig +## +CONFIG_E100=m + +## +## file: drivers/net/ethernet/natsemi/Kconfig +## +CONFIG_NATSEMI=m + +## +## file: drivers/net/ethernet/neterion/Kconfig +## +# CONFIG_VXGE is not set + +## +## file: drivers/net/ethernet/nvidia/Kconfig +## +CONFIG_FORCEDETH=m + +## +## file: drivers/net/ethernet/realtek/Kconfig +## +CONFIG_8139CP=m +CONFIG_8139TOO=m + +## +## file: drivers/net/ethernet/sis/Kconfig +## +CONFIG_SIS900=m + +## +## file: drivers/net/ethernet/smsc/Kconfig +## +CONFIG_SMC9194=m +CONFIG_PCMCIA_SMC91C92=m +CONFIG_EPIC100=m + +## +## file: drivers/net/ethernet/sun/Kconfig +## +CONFIG_HAPPYMEAL=m +CONFIG_SUNGEM=m +# CONFIG_NIU is not set + +## +## file: drivers/net/ethernet/via/Kconfig +## +CONFIG_VIA_RHINE=m +# CONFIG_VIA_RHINE_MMIO is not set + +## +## file: drivers/net/ethernet/xircom/Kconfig +## +CONFIG_PCMCIA_XIRC2PS=m + +## +## file: drivers/net/fddi/Kconfig +## +# CONFIG_FDDI is not set + +## +## file: drivers/net/hippi/Kconfig +## +# CONFIG_HIPPI is not set + +## +## file: drivers/net/plip/Kconfig +## +CONFIG_PLIP=m + +## +## file: drivers/net/wan/Kconfig +## +# CONFIG_WAN is not set + +## +## file: drivers/net/wireless/Kconfig +## +CONFIG_PCMCIA_RAYCS=m +CONFIG_PCMCIA_WL3501=m + +## +## file: drivers/net/wireless/atmel/Kconfig +## +# CONFIG_ATMEL is not set + +## +## file: drivers/net/wireless/cisco/Kconfig +## +CONFIG_AIRO_CS=m + +## +## file: drivers/net/wireless/intel/ipw2x00/Kconfig +## +# CONFIG_IPW2100 is not set + +## +## file: drivers/net/wireless/intersil/orinoco/Kconfig +## +CONFIG_HERMES=m +# CONFIG_PLX_HERMES is not set +# CONFIG_TMD_HERMES is not set +# CONFIG_PCI_HERMES is not set +CONFIG_PCMCIA_HERMES=m + +## +## file: drivers/net/wireless/zydas/Kconfig +## +# CONFIG_USB_ZD1201 is not set + +## +## file: drivers/parisc/Kconfig +## +CONFIG_GSC=y +CONFIG_HPPB=y +CONFIG_IOMMU_CCIO=y +CONFIG_GSC_LASI=y +CONFIG_GSC_WAX=y +CONFIG_ISA=y +CONFIG_GSC_DINO=y +CONFIG_PCI_LBA=y +CONFIG_SUPERIO=y +CONFIG_CHASSIS_LCD_LED=y +CONFIG_PDC_CHASSIS=y +CONFIG_PDC_CHASSIS_WARN=y +CONFIG_PDC_STABLE=y + +## +## file: drivers/pci/Kconfig +## +CONFIG_PCI=y + +## +## file: drivers/pci/hotplug/Kconfig +## +# CONFIG_HOTPLUG_PCI is not set + +## +## file: drivers/pcmcia/Kconfig +## +CONFIG_PCCARD=m +CONFIG_PCMCIA=m +CONFIG_CARDBUS=y +CONFIG_YENTA=m +CONFIG_PD6729=m +CONFIG_I82092=m +CONFIG_I82365=m +# CONFIG_TCIC is not set +# CONFIG_PCMCIA_DEBUG is not set + +## +## file: drivers/pnp/Kconfig +## +# CONFIG_PNP is not set + +## +## file: drivers/rtc/Kconfig +## +CONFIG_RTC_CLASS=y +CONFIG_RTC_DRV_GENERIC=y + +## +## file: drivers/scsi/Kconfig +## +# CONFIG_SCSI_BUSLOGIC is not set +# CONFIG_SCSI_MYRB is not set +# CONFIG_SCSI_MYRS is not set +# CONFIG_SCSI_DMX3191D is not set +# CONFIG_SCSI_GDTH is not set +# CONFIG_SCSI_GENERIC_NCR5380 is not set +# CONFIG_SCSI_IPS is not set +CONFIG_SCSI_INITIO=m +# CONFIG_SCSI_INIA100 is not set +CONFIG_SCSI_LASI700=m +CONFIG_SCSI_SYM53C8XX_DMA_ADDRESSING_MODE=1 +CONFIG_SCSI_SYM53C8XX_DEFAULT_TAGS=16 +CONFIG_SCSI_SYM53C8XX_MAX_TAGS=64 +# CONFIG_SCSI_IPR is not set +CONFIG_SCSI_ZALON=m +CONFIG_SCSI_NCR53C8XX_DEFAULT_TAGS=8 +CONFIG_SCSI_NCR53C8XX_MAX_TAGS=32 +CONFIG_SCSI_NCR53C8XX_SYNC=20 +# CONFIG_SCSI_QLOGIC_FAS is not set +# CONFIG_SCSI_QLOGIC_1280 is not set +# CONFIG_SCSI_SIM710 is not set +# CONFIG_SCSI_DC395x is not set + +## +## file: drivers/scsi/megaraid/Kconfig.megaraid +## +CONFIG_MEGARAID_NEWGEN=y +CONFIG_MEGARAID_MM=m +CONFIG_MEGARAID_MAILBOX=m +# CONFIG_MEGARAID_LEGACY is not set + +## +## file: drivers/scsi/pcmcia/Kconfig +## +CONFIG_PCMCIA_QLOGIC=m +CONFIG_PCMCIA_SYM53C500=m + +## +## file: drivers/tty/Kconfig +## +CONFIG_VT=y +CONFIG_VT_CONSOLE=y +# CONFIG_SERIAL_NONSTANDARD is not set + +## +## file: drivers/tty/serial/Kconfig +## +CONFIG_SERIAL_MUX=y +CONFIG_SERIAL_MUX_CONSOLE=y +CONFIG_SERIAL_JSM=m + +## +## file: drivers/tty/serial/8250/Kconfig +## +CONFIG_SERIAL_8250=y +CONFIG_SERIAL_8250_CONSOLE=y +CONFIG_SERIAL_8250_CS=m +CONFIG_SERIAL_8250_NR_UARTS=32 +CONFIG_SERIAL_8250_RUNTIME_UARTS=4 +CONFIG_SERIAL_8250_EXTENDED=y +CONFIG_SERIAL_8250_MANY_PORTS=y +CONFIG_SERIAL_8250_SHARE_IRQ=y +# CONFIG_SERIAL_8250_DETECT_IRQ is not set +# CONFIG_SERIAL_8250_RSA is not set + +## +## file: drivers/usb/Kconfig +## +CONFIG_USB=m +# CONFIG_USB_USS720 is not set + +## +## file: drivers/usb/host/Kconfig +## +CONFIG_USB_EHCI_HCD=m +CONFIG_USB_OHCI_HCD=m +# CONFIG_USB_UHCI_HCD is not set +# CONFIG_USB_SL811_HCD is not set + +## +## file: drivers/video/console/Kconfig +## +CONFIG_DUMMY_CONSOLE_COLUMNS=160 +CONFIG_DUMMY_CONSOLE_ROWS=64 +CONFIG_STI_CONSOLE=y + +## +## file: drivers/video/fbdev/Kconfig +## +CONFIG_FB_MODE_HELPERS=y +# CONFIG_FB_TILEBLITTING is not set +# CONFIG_FB_CIRRUS is not set +# CONFIG_FB_PM2 is not set +# CONFIG_FB_CYBER2000 is not set +# CONFIG_FB_ASILIANT is not set +# CONFIG_FB_IMSTT is not set +CONFIG_FB_STI=y +# CONFIG_FB_S1D13XXX is not set +# CONFIG_FB_MATROX is not set +# CONFIG_FB_RADEON is not set +# CONFIG_FB_ATY128 is not set +# CONFIG_FB_ATY is not set +# CONFIG_FB_S3 is not set +# CONFIG_FB_SAVAGE is not set +# CONFIG_FB_SIS is not set +# CONFIG_FB_NEOMAGIC is not set +# CONFIG_FB_KYRO is not set +# CONFIG_FB_3DFX is not set +# CONFIG_FB_VOODOO1 is not set +# CONFIG_FB_VT8623 is not set +# CONFIG_FB_TRIDENT is not set +# CONFIG_FB_ARK is not set +# CONFIG_FB_PM3 is not set +# CONFIG_FB_VIRTUAL is not set + +## +## file: drivers/w1/Kconfig +## +# CONFIG_W1 is not set + +## +## file: fs/nfs/Kconfig +## +CONFIG_ROOT_NFS=y + +## +## file: init/Kconfig +## +CONFIG_SGETMASK_SYSCALL=y +CONFIG_SYSFS_SYSCALL=y + +## +## file: lib/Kconfig.debug +## +CONFIG_DEBUG_STACKOVERFLOW=y +# CONFIG_SOFTLOCKUP_DETECTOR is not set +# CONFIG_HARDLOCKUP_DETECTOR is not set + +## +## file: mm/Kconfig +## +## choice: Memory model +CONFIG_FLATMEM_MANUAL=y +# CONFIG_DISCONTIGMEM_MANUAL is not set +# CONFIG_SPARSEMEM_MANUAL is not set +## end choice + +## +## file: net/ax25/Kconfig +## +# CONFIG_HAMRADIO is not set + +## +## file: net/ipv4/Kconfig +## +# CONFIG_IP_ADVANCED_ROUTER is not set +CONFIG_IP_PNP=y +# CONFIG_IP_PNP_DHCP is not set +CONFIG_IP_PNP_BOOTP=y +# CONFIG_IP_PNP_RARP is not set + +## +## file: net/lapb/Kconfig +## +# CONFIG_LAPB is not set + +## +## file: net/llc/Kconfig +## +# CONFIG_LLC2 is not set + +## +## file: sound/drivers/Kconfig +## +CONFIG_SND_DUMMY=m +# CONFIG_SND_VIRMIDI is not set +# CONFIG_SND_MTPAV is not set +# CONFIG_SND_SERIAL_U16550 is not set +# CONFIG_SND_MPU401 is not set + +## +## file: sound/isa/Kconfig +## +# CONFIG_SND_AD1848 is not set +# CONFIG_SND_CMI8330 is not set +# CONFIG_SND_CS4231 is not set +# CONFIG_SND_CS4236 is not set +# CONFIG_SND_ES1688 is not set +# CONFIG_SND_ES18XX is not set +# CONFIG_SND_GUSCLASSIC is not set +# CONFIG_SND_GUSEXTREME is not set +# CONFIG_SND_GUSMAX is not set +# CONFIG_SND_INTERWAVE is not set +# CONFIG_SND_INTERWAVE_STB is not set +# CONFIG_SND_OPL3SA2 is not set +# CONFIG_SND_OPTI92X_AD1848 is not set +# CONFIG_SND_OPTI92X_CS4231 is not set +# CONFIG_SND_OPTI93X is not set +# CONFIG_SND_SB8 is not set +# CONFIG_SND_SB16 is not set +# CONFIG_SND_SBAWE is not set +# CONFIG_SND_SSCAPE is not set +# CONFIG_SND_WAVEFRONT is not set + +## +## file: sound/parisc/Kconfig +## +CONFIG_SND_HARMONY=m + +## +## file: sound/pci/Kconfig +## +# CONFIG_SND_ALS4000 is not set +# CONFIG_SND_ALI5451 is not set +# CONFIG_SND_ATIIXP is not set +# CONFIG_SND_ATIIXP_MODEM is not set +# CONFIG_SND_AU8810 is not set +# CONFIG_SND_AU8820 is not set +# CONFIG_SND_AU8830 is not set +# CONFIG_SND_AZT3328 is not set +# CONFIG_SND_BT87X is not set +# CONFIG_SND_CA0106 is not set +# CONFIG_SND_CMIPCI is not set +# CONFIG_SND_CS4281 is not set +# CONFIG_SND_CS46XX is not set +# CONFIG_SND_EMU10K1 is not set +# CONFIG_SND_EMU10K1X is not set +# CONFIG_SND_ENS1370 is not set +# CONFIG_SND_ENS1371 is not set +# CONFIG_SND_ES1938 is not set +# CONFIG_SND_ES1968 is not set +# CONFIG_SND_FM801 is not set +# CONFIG_SND_HDSP is not set +# CONFIG_SND_ICE1712 is not set +# CONFIG_SND_ICE1724 is not set +# CONFIG_SND_INTEL8X0 is not set +# CONFIG_SND_INTEL8X0M is not set +# CONFIG_SND_KORG1212 is not set +# CONFIG_SND_MAESTRO3 is not set +# CONFIG_SND_MIXART is not set +# CONFIG_SND_NM256 is not set +# CONFIG_SND_RME32 is not set +# CONFIG_SND_RME96 is not set +# CONFIG_SND_RME9652 is not set +# CONFIG_SND_SONICVIBES is not set +# CONFIG_SND_TRIDENT is not set +# CONFIG_SND_VIA82XX is not set +# CONFIG_SND_VIA82XX_MODEM is not set +# CONFIG_SND_VX222 is not set +# CONFIG_SND_YMFPCI is not set + +## +## file: sound/pci/hda/Kconfig +## +# CONFIG_SND_HDA_INTEL is not set + diff --git a/debian/config/hppa/config.parisc b/debian/config/hppa/config.parisc new file mode 100644 index 000000000..ec658ba1a --- /dev/null +++ b/debian/config/hppa/config.parisc @@ -0,0 +1,27 @@ +## +## file: arch/parisc/Kconfig +## +## choice: Processor type +CONFIG_PA7000=y +# CONFIG_PA8X00 is not set +## end choice +CONFIG_SMP=y +CONFIG_NR_CPUS=4 + +## +## file: drivers/net/ethernet/ti/Kconfig +## +CONFIG_TLAN=m + +## +## file: drivers/scsi/Kconfig +## +# CONFIG_SCSI_DPT_I2O is not set +# CONFIG_SCSI_NSP32 is not set + +## +## file: drivers/scsi/pcmcia/Kconfig +## +CONFIG_PCMCIA_AHA152X=m +CONFIG_PCMCIA_NINJA_SCSI=m + diff --git a/debian/config/hppa/config.parisc64 b/debian/config/hppa/config.parisc64 new file mode 100644 index 000000000..e39d0c934 --- /dev/null +++ b/debian/config/hppa/config.parisc64 @@ -0,0 +1,58 @@ +## +## file: arch/parisc/Kconfig +## +## choice: Processor type +# CONFIG_PA7000 is not set +CONFIG_PA8X00=y +## end choice +CONFIG_64BIT=y +CONFIG_SMP=y +CONFIG_NR_CPUS=8 + +## +## file: drivers/ata/Kconfig +## +CONFIG_PATA_SIL680=m + +## +## file: drivers/char/agp/Kconfig +## +#. for ATI FireGL DRM in C8000 workstation +CONFIG_AGP=y +CONFIG_AGP_PARISC=y + +## +## file: drivers/char/ipmi/Kconfig +## +CONFIG_IPMI_HANDLER=m +CONFIG_IPMI_DEVICE_INTERFACE=m +CONFIG_IPMI_SI=m +CONFIG_IPMI_WATCHDOG=m +CONFIG_IPMI_POWEROFF=m + +## +## file: drivers/gpu/drm/Kconfig +## +#. for ATI FireGL DRM in C8000 workstation +CONFIG_DRM=y +CONFIG_DRM_RADEON=m + +## +## file: drivers/i2c/Kconfig +## +CONFIG_I2C=y + +## +## file: drivers/i2c/algos/Kconfig +## +CONFIG_I2C_ALGOBIT=y + +## +## file: mm/Kconfig +## +## choice: Memory model +# CONFIG_FLATMEM_MANUAL is not set +CONFIG_DISCONTIGMEM_MANUAL=y +# CONFIG_SPARSEMEM_MANUAL is not set +## end choice + diff --git a/debian/config/hppa/defines b/debian/config/hppa/defines new file mode 100644 index 000000000..2dc7853a3 --- /dev/null +++ b/debian/config/hppa/defines @@ -0,0 +1,29 @@ +[base] +flavours: parisc parisc64 +default-flavour: parisc +kernel-arch: parisc + +[build] +image-file: arch/parisc/boot/bzImage +# temporarily disable debug info: Required disk size exceeds our hppa buildd machines. +debug-info: false + +[image] +suggests: palo +install-stem: vmlinuz + +[parisc_description] +hardware: 32-bit PA-RISC +hardware-long: HP PA-RISC 32-bit systems with max 4 GB RAM + +[parisc64_base] +cflags: -fno-cse-follow-jumps +override-host-type: hppa64-linux-gnu + +[parisc64_description] +hardware: 64-bit PA-RISC +hardware-long: HP PA-RISC 64-bit systems with support for more than 4 GB RAM + +[relations] +gcc-10: gcc-10 <!stage1 !cross !pkg.linux.nokernel>, gcc-10-hppa-linux-gnu <!stage1 cross !pkg.linux.nokernel>, binutils-hppa64-linux-gnu <!stage1 !pkg.linux.nokernel>, gcc-10-hppa64-linux-gnu <!stage1 !pkg.linux.nokernel> + |