This recipe combines the dummy_rtc_drv, which consumes a given time, and provides the "Rtc" service to its clients with the simple NTP client, which provides the current time to the RTC driver in regular intervals. Ref genodelabs/genode#4687