@@ -180,6 +180,8 @@ CONFIG_GOLDFISH=y
# CONFIG_IOMMU_SUPPORT is not set
CONFIG_RPMSG_CHAR=y
CONFIG_RPMSG_VIRTIO=y
+CONFIG_PWM=y
+CONFIG_PWM_SIFIVE_PTC=y
CONFIG_EXT4_FS=y
CONFIG_EXT4_FS_POSIX_ACL=y
CONFIG_AUTOFS4_FS=y