3 CONFIG_HIGH_RES_TIMERS=y
4 CONFIG_PREEMPT_VOLUNTARY=y
7 CONFIG_LOG_BUF_SHIFT=14
9 CONFIG_CC_OPTIMIZE_FOR_SIZE=y
11 # CONFIG_COMPAT_BRK is not set
14 CONFIG_DTB_PIC32_MZDA_SK=y
16 # CONFIG_SECCOMP is not set
17 # CONFIG_SUSPEND is not set
20 CONFIG_MODULE_UNLOAD=y
22 CONFIG_MODULE_SRCVERSION_ALL=y
23 CONFIG_BLK_DEV_BSGLIB=y
24 CONFIG_PARTITION_ADVANCED=y
25 CONFIG_SGI_PARTITION=y
28 CONFIG_DEVTMPFS_MOUNT=y
29 # CONFIG_ALLOW_DEV_COREDUMP is not set
33 CONFIG_SCSI_CONSTANTS=y
34 CONFIG_SCSI_SCAN_ASYNC=y
35 # CONFIG_SCSI_LOWLEVEL is not set
37 CONFIG_INPUT_POLLDEV=y
38 CONFIG_INPUT_MOUSEDEV=m
41 # CONFIG_KEYBOARD_ATKBD is not set
42 CONFIG_KEYBOARD_GPIO=m
43 CONFIG_KEYBOARD_GPIO_POLLED=m
44 # CONFIG_MOUSE_PS2 is not set
45 # CONFIG_SERIO is not set
47 CONFIG_SERIAL_PIC32_CONSOLE=y
51 # CONFIG_HWMON is not set
53 # CONFIG_USB_SUPPORT is not set
56 CONFIG_MMC_SDHCI_PLTFM=y
57 CONFIG_MMC_SDHCI_MICROCHIP_PIC32=y
61 CONFIG_LEDS_TRIGGERS=y
62 CONFIG_LEDS_TRIGGER_TIMER=m
63 CONFIG_LEDS_TRIGGER_ONESHOT=m
64 CONFIG_LEDS_TRIGGER_HEARTBEAT=y
65 CONFIG_LEDS_TRIGGER_GPIO=m
66 CONFIG_LEDS_TRIGGER_DEFAULT_ON=y
67 # CONFIG_MIPS_PLATFORM_DEVICES is not set
68 # CONFIG_IOMMU_SUPPORT is not set
70 CONFIG_EXT4_FS_POSIX_ACL=y
71 CONFIG_EXT4_FS_SECURITY=y
83 CONFIG_TMPFS_POSIX_ACL=y
85 CONFIG_SQUASHFS_XATTR=y