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

nsimosci_hs_smp_defconfig (2146B)

      1# CONFIG_SWAP is not set
      2CONFIG_SYSVIPC=y
      3# CONFIG_CROSS_MEMORY_ATTACH is not set
      4CONFIG_NO_HZ=y
      5CONFIG_HIGH_RES_TIMERS=y
      6CONFIG_IKCONFIG=y
      7CONFIG_IKCONFIG_PROC=y
      8# CONFIG_UTS_NS is not set
      9# CONFIG_PID_NS is not set
     10CONFIG_BLK_DEV_INITRD=y
     11CONFIG_CC_OPTIMIZE_FOR_PERFORMANCE_O3=y
     12CONFIG_PERF_EVENTS=y
     13# CONFIG_COMPAT_BRK is not set
     14CONFIG_KPROBES=y
     15CONFIG_MODULES=y
     16# CONFIG_BLK_DEV_BSG is not set
     17CONFIG_ISA_ARCV2=y
     18CONFIG_SMP=y
     19# CONFIG_ARC_TIMERS_64BIT is not set
     20CONFIG_ARC_BUILTIN_DTB_NAME="nsimosci_hs_idu"
     21CONFIG_PREEMPT=y
     22# CONFIG_COMPACTION is not set
     23CONFIG_NET=y
     24CONFIG_PACKET=y
     25CONFIG_PACKET_DIAG=y
     26CONFIG_UNIX=y
     27CONFIG_UNIX_DIAG=y
     28CONFIG_NET_KEY=y
     29CONFIG_INET=y
     30# CONFIG_INET_XFRM_MODE_TRANSPORT is not set
     31# CONFIG_INET_XFRM_MODE_TUNNEL is not set
     32# CONFIG_INET_XFRM_MODE_BEET is not set
     33# CONFIG_IPV6 is not set
     34# CONFIG_WIRELESS is not set
     35CONFIG_DEVTMPFS=y
     36# CONFIG_STANDALONE is not set
     37# CONFIG_PREVENT_FIRMWARE_BUILD is not set
     38# CONFIG_BLK_DEV is not set
     39CONFIG_NETDEVICES=y
     40# CONFIG_NET_VENDOR_ARC is not set
     41# CONFIG_NET_CADENCE is not set
     42# CONFIG_NET_VENDOR_BROADCOM is not set
     43CONFIG_EZCHIP_NPS_MANAGEMENT_ENET=y
     44# CONFIG_NET_VENDOR_INTEL is not set
     45# CONFIG_NET_VENDOR_MARVELL is not set
     46# CONFIG_NET_VENDOR_MICREL is not set
     47# CONFIG_NET_VENDOR_NATSEMI is not set
     48# CONFIG_NET_VENDOR_SEEQ is not set
     49# CONFIG_NET_VENDOR_STMICRO is not set
     50# CONFIG_NET_VENDOR_VIA is not set
     51# CONFIG_NET_VENDOR_WIZNET is not set
     52# CONFIG_WLAN is not set
     53CONFIG_INPUT_EVDEV=y
     54CONFIG_MOUSE_PS2_TOUCHKIT=y
     55# CONFIG_SERIO_SERPORT is not set
     56CONFIG_SERIO_ARC_PS2=y
     57# CONFIG_LEGACY_PTYS is not set
     58CONFIG_SERIAL_8250=y
     59CONFIG_SERIAL_8250_CONSOLE=y
     60CONFIG_SERIAL_8250_NR_UARTS=1
     61CONFIG_SERIAL_8250_RUNTIME_UARTS=1
     62CONFIG_SERIAL_8250_DW=y
     63CONFIG_SERIAL_OF_PLATFORM=y
     64# CONFIG_HW_RANDOM is not set
     65# CONFIG_HWMON is not set
     66CONFIG_DRM=y
     67CONFIG_DRM_ARCPGU=y
     68CONFIG_LOGO=y
     69# CONFIG_HID is not set
     70# CONFIG_USB_SUPPORT is not set
     71# CONFIG_IOMMU_SUPPORT is not set
     72CONFIG_EXT2_FS=y
     73CONFIG_EXT2_FS_XATTR=y
     74CONFIG_TMPFS=y
     75# CONFIG_MISC_FILESYSTEMS is not set
     76CONFIG_NFS_FS=y
     77CONFIG_NFS_V3_ACL=y
     78# CONFIG_ENABLE_MUST_CHECK is not set
     79CONFIG_FTRACE=y