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

pic32mzda_defconfig (2011B)

      1CONFIG_SYSVIPC=y
      2CONFIG_NO_HZ=y
      3CONFIG_HIGH_RES_TIMERS=y
      4CONFIG_PREEMPT_VOLUNTARY=y
      5CONFIG_IKCONFIG=y
      6CONFIG_IKCONFIG_PROC=y
      7CONFIG_LOG_BUF_SHIFT=14
      8CONFIG_RELAY=y
      9CONFIG_CC_OPTIMIZE_FOR_SIZE=y
     10CONFIG_EMBEDDED=y
     11# CONFIG_COMPAT_BRK is not set
     12CONFIG_SLAB=y
     13CONFIG_MACH_PIC32=y
     14CONFIG_DTB_PIC32_MZDA_SK=y
     15CONFIG_HZ_100=y
     16# CONFIG_SECCOMP is not set
     17# CONFIG_SUSPEND is not set
     18CONFIG_JUMP_LABEL=y
     19CONFIG_MODULES=y
     20CONFIG_MODULE_UNLOAD=y
     21CONFIG_MODVERSIONS=y
     22CONFIG_MODULE_SRCVERSION_ALL=y
     23CONFIG_BLK_DEV_BSGLIB=y
     24CONFIG_PARTITION_ADVANCED=y
     25CONFIG_SGI_PARTITION=y
     26CONFIG_BINFMT_MISC=m
     27CONFIG_DEVTMPFS=y
     28CONFIG_DEVTMPFS_MOUNT=y
     29# CONFIG_ALLOW_DEV_COREDUMP is not set
     30CONFIG_BLK_DEV_LOOP=m
     31CONFIG_SCSI=y
     32CONFIG_BLK_DEV_SD=y
     33CONFIG_SCSI_CONSTANTS=y
     34CONFIG_SCSI_SCAN_ASYNC=y
     35# CONFIG_SCSI_LOWLEVEL is not set
     36CONFIG_INPUT_LEDS=m
     37CONFIG_INPUT_MOUSEDEV=m
     38CONFIG_INPUT_EVDEV=y
     39CONFIG_INPUT_EVBUG=m
     40# CONFIG_KEYBOARD_ATKBD is not set
     41CONFIG_KEYBOARD_GPIO=m
     42CONFIG_KEYBOARD_GPIO_POLLED=m
     43# CONFIG_MOUSE_PS2 is not set
     44# CONFIG_SERIO is not set
     45CONFIG_SERIAL_PIC32=y
     46CONFIG_SERIAL_PIC32_CONSOLE=y
     47CONFIG_HW_RANDOM=y
     48CONFIG_RAW_DRIVER=m
     49CONFIG_GPIO_SYSFS=y
     50# CONFIG_HWMON is not set
     51CONFIG_HIDRAW=y
     52# CONFIG_USB_SUPPORT is not set
     53CONFIG_MMC=y
     54CONFIG_MMC_SDHCI=y
     55CONFIG_MMC_SDHCI_PLTFM=y
     56CONFIG_MMC_SDHCI_MICROCHIP_PIC32=y
     57CONFIG_NEW_LEDS=y
     58CONFIG_LEDS_CLASS=y
     59CONFIG_LEDS_GPIO=y
     60CONFIG_LEDS_TRIGGERS=y
     61CONFIG_LEDS_TRIGGER_TIMER=m
     62CONFIG_LEDS_TRIGGER_ONESHOT=m
     63CONFIG_LEDS_TRIGGER_HEARTBEAT=y
     64CONFIG_LEDS_TRIGGER_GPIO=m
     65CONFIG_LEDS_TRIGGER_DEFAULT_ON=y
     66# CONFIG_MIPS_PLATFORM_DEVICES is not set
     67# CONFIG_IOMMU_SUPPORT is not set
     68CONFIG_EXT4_FS=y
     69CONFIG_EXT4_FS_POSIX_ACL=y
     70CONFIG_EXT4_FS_SECURITY=y
     71CONFIG_AUTOFS4_FS=m
     72CONFIG_FUSE_FS=m
     73CONFIG_FSCACHE=m
     74CONFIG_ISO9660_FS=m
     75CONFIG_JOLIET=y
     76CONFIG_ZISOFS=y
     77CONFIG_UDF_FS=m
     78CONFIG_MSDOS_FS=m
     79CONFIG_VFAT_FS=m
     80CONFIG_PROC_KCORE=y
     81CONFIG_TMPFS=y
     82CONFIG_TMPFS_POSIX_ACL=y
     83CONFIG_SQUASHFS=m
     84CONFIG_SQUASHFS_XATTR=y
     85CONFIG_SQUASHFS_LZ4=y
     86CONFIG_SQUASHFS_LZO=y
     87CONFIG_SQUASHFS_XZ=y