OpenBSD manual page server

Manual Page Search Parameters

EXRTC(4) Device Drivers Manual EXRTC(4)

exrtcSamsung Exynos real-time clock

exrtc* at fdt?

The exrtc driver provides support for the real-time clock found in Samsung Exynos SoCs.


The exrtc driver first appeared in OpenBSD 6.1.

The exrtc driver was written by Mark Kettenis <>.

June 18, 2018 OpenBSD-current