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
13 CONFIG_DTB_PIC32_MZDA_SK=y
15 # CONFIG_SECCOMP is not set
16 # CONFIG_SUSPEND is not set
19 CONFIG_MODULE_UNLOAD=y
21 CONFIG_MODULE_SRCVERSION_ALL=y
22 CONFIG_BLK_DEV_BSGLIB=y
23 CONFIG_PARTITION_ADVANCED=y
24 CONFIG_SGI_PARTITION=y
27 CONFIG_DEVTMPFS_MOUNT=y
28 # CONFIG_ALLOW_DEV_COREDUMP is not set
32 CONFIG_SCSI_CONSTANTS=y
33 CONFIG_SCSI_SCAN_ASYNC=y
34 # CONFIG_SCSI_LOWLEVEL is not set
36 CONFIG_INPUT_MOUSEDEV=m
39 # CONFIG_KEYBOARD_ATKBD is not set
40 CONFIG_KEYBOARD_GPIO=m
41 CONFIG_KEYBOARD_GPIO_POLLED=m
42 # CONFIG_MOUSE_PS2 is not set
43 # CONFIG_SERIO is not set
45 CONFIG_SERIAL_PIC32_CONSOLE=y
48 # CONFIG_HWMON is not set
50 # CONFIG_USB_SUPPORT is not set
53 CONFIG_MMC_SDHCI_PLTFM=y
54 CONFIG_MMC_SDHCI_MICROCHIP_PIC32=y
58 CONFIG_LEDS_TRIGGERS=y
59 CONFIG_LEDS_TRIGGER_TIMER=m
60 CONFIG_LEDS_TRIGGER_ONESHOT=m
61 CONFIG_LEDS_TRIGGER_HEARTBEAT=y
62 CONFIG_LEDS_TRIGGER_GPIO=m
63 CONFIG_LEDS_TRIGGER_DEFAULT_ON=y
64 # CONFIG_MIPS_PLATFORM_DEVICES is not set
65 # CONFIG_IOMMU_SUPPORT is not set
67 CONFIG_EXT4_FS_POSIX_ACL=y
68 CONFIG_EXT4_FS_SECURITY=y
71 CONFIG_NETFS_SUPPORT=m
81 CONFIG_TMPFS_POSIX_ACL=y
83 CONFIG_SQUASHFS_XATTR=y