diff --git a/arch/riscv/configs/revyos_defconfig b/arch/riscv/configs/revyos_defconfig
index dfba6f176..a24a898ca 100644
--- a/arch/riscv/configs/revyos_defconfig
+++ b/arch/riscv/configs/revyos_defconfig
@@ -10,6 +10,7 @@ CONFIG_TASK_XACCT=y
 CONFIG_TASK_IO_ACCOUNTING=y
 CONFIG_IKCONFIG=y
 CONFIG_IKCONFIG_PROC=y
+CONFIG_IKHEADERS=y
 CONFIG_CGROUPS=y
 CONFIG_MEMCG=y
 CONFIG_BLK_CGROUP=y
@@ -30,6 +31,7 @@ CONFIG_CHECKPOINT_RESTORE=y
 CONFIG_BLK_DEV_INITRD=y
 CONFIG_EXPERT=y
 # CONFIG_BUG is not set
+CONFIG_KALLSYMS_ALL=y
 CONFIG_BPF_SYSCALL=y
 CONFIG_PERF_EVENTS=y
 CONFIG_FORCE_MAX_ZONEORDER=15
@@ -53,6 +55,7 @@ CONFIG_PM=y
 CONFIG_VIRTUALIZATION=y
 CONFIG_KVM=y
 CONFIG_LIGHT_AON_PD=y
+CONFIG_KPROBES=y
 CONFIG_MODULES=y
 CONFIG_MODULE_UNLOAD=y
 CONFIG_BLK_DEV_THROTTLING=y
@@ -82,8 +85,8 @@ CONFIG_NF_CONNTRACK_FTP=y
 CONFIG_NF_CONNTRACK_TFTP=y
 CONFIG_NF_NAT=y
 CONFIG_NETFILTER_XT_CONNMARK=y
-CONFIG_NETFILTER_XT_NAT=y
 CONFIG_NETFILTER_XT_TARGET_CHECKSUM=m
+CONFIG_NETFILTER_XT_NAT=y
 CONFIG_NETFILTER_XT_TARGET_REDIRECT=y
 CONFIG_NETFILTER_XT_TARGET_MASQUERADE=y
 CONFIG_NETFILTER_XT_MATCH_ADDRTYPE=y
@@ -111,6 +114,7 @@ CONFIG_IP6_NF_FILTER=m
 CONFIG_IP6_NF_TARGET_REJECT=m
 CONFIG_IP6_NF_MANGLE=m
 CONFIG_IP6_NF_NAT=m
+CONFIG_BPFILTER=y
 CONFIG_BRIDGE=y
 CONFIG_BRIDGE_VLAN_FILTERING=y
 CONFIG_VLAN_8021Q=y
@@ -277,13 +281,14 @@ CONFIG_V4L_MEM2MEM_DRIVERS=y
 # CONFIG_MEDIA_TUNER_QM1D1C0042 is not set
 # CONFIG_MEDIA_TUNER_QM1D1B0004 is not set
 CONFIG_DRM=y
-CONFIG_DRM_LONTIUM_LT8911EXB=m
 CONFIG_DRM_PANEL_SIMPLE=y
 CONFIG_DRM_PANEL_ILITEK_ILI9881C=y
 CONFIG_DRM_PANEL_ILI9881D=y
 CONFIG_DRM_PANEL_HX8394=y
 CONFIG_DRM_PANEL_JADARD_JD9365DA_H3=y
 CONFIG_DRM_PANEL_MINGJUN_070BI30IA2=y
+CONFIG_DRM_LONTIUM_LT8911EXB=m
+CONFIG_DRM_ETNAVIV=m
 CONFIG_DRM_VERISILICON=y
 CONFIG_DRM_POWERVR_ROGUE=m
 CONFIG_BACKLIGHT_CLASS_DEVICE=y
@@ -305,8 +310,8 @@ CONFIG_SND_SIMPLE_CARD=y
 CONFIG_SND_AUDIO_GRAPH_CARD=y
 CONFIG_UHID=y
 CONFIG_HID_PID=y
-CONFIG_I2C_HID=m
 CONFIG_USB_HIDDEV=y
+CONFIG_I2C_HID=m
 CONFIG_USB=y
 CONFIG_USB_XHCI_HCD=y
 CONFIG_USB_XHCI_PLATFORM=y
@@ -422,8 +427,6 @@ CONFIG_NVMEM_THEAD_LIGHT_EFUSE=y
 CONFIG_TEE=y
 CONFIG_OPTEE=y
 CONFIG_OPTEE_BENCHMARK=y
-# CONFIG_LIGHT_GPU_VIV is not set
-CONFIG_DRM_ETNAVIV=m
 # CONFIG_LIGHT_NET is not set
 CONFIG_EXT4_FS=y
 CONFIG_EXT4_FS_POSIX_ACL=y
@@ -476,10 +479,11 @@ CONFIG_CMA_SIZE_MBYTES=32
 CONFIG_PRINTK_TIME=y
 CONFIG_DYNAMIC_DEBUG=y
 CONFIG_DEBUG_INFO=y
+CONFIG_DEBUG_INFO_BTF=y
 CONFIG_MAGIC_SYSRQ=y
+# CONFIG_MAGIC_SYSRQ_SERIAL is not set
 CONFIG_DEBUG_FS=y
 CONFIG_SOFTLOCKUP_DETECTOR=y
 CONFIG_DEBUG_ATOMIC_SLEEP=y
 # CONFIG_RCU_TRACE is not set
-# noise from uart will trig SYSRQ, so disable it.
-# CONFIG_MAGIC_SYSRQ_SERIAL is not set
+CONFIG_FUNCTION_TRACER=y