diff --git a/arch/x86/configs/machina_defconfig b/arch/x86/configs/machina_defconfig
index 6547cbf..dae1ef3 100644
--- a/arch/x86/configs/machina_defconfig
+++ b/arch/x86/configs/machina_defconfig
@@ -332,7 +332,8 @@
 CONFIG_DRM_VIRTIO_GPU=y
 # CONFIG_USB_SUPPORT is not set
 CONFIG_RTC_CLASS=y
-# CONFIG_RTC_HCTOSYS is not set
+CONFIG_RTC_HCTOSYS=y
+CONFIG_RTC_HCTOSYS_DEVICE="rtc0"
 CONFIG_VIRTIO_PCI=y
 CONFIG_VIRTIO_BALLOON=y
 CONFIG_VIRTIO_INPUT=y