1.1 --- a/pkg/landfall-examples/hw_info/x1600.c Tue Nov 14 00:02:42 2023 +0100
1.2 +++ b/pkg/landfall-examples/hw_info/x1600.c Thu Nov 16 01:15:40 2023 +0100
1.3 @@ -24,6 +24,7 @@
1.4 #include <l4/devices/dma-x1600.h>
1.5 #include <l4/devices/gpio-x1600.h>
1.6 #include <l4/devices/i2c-x1600.h>
1.7 +#include <l4/devices/rtc-x1600.h>
1.8 #include <l4/devices/spi-gpio.h>
1.9 #include <l4/devices/spi-hybrid.h>
1.10 #include <l4/devices/spi-jz4780.h>
1.11 @@ -323,6 +324,55 @@
1.12
1.13
1.14
1.15 +/* RTC adapter functions. */
1.16 +
1.17 +void *rtc_init(l4_addr_t start)
1.18 +{
1.19 + return x1600_rtc_init(start);
1.20 +}
1.21 +
1.22 +void rtc_disable(void *rtc)
1.23 +{
1.24 + x1600_rtc_disable(rtc);
1.25 +}
1.26 +
1.27 +void rtc_enable(void *rtc)
1.28 +{
1.29 + x1600_rtc_enable(rtc);
1.30 +}
1.31 +
1.32 +uint32_t rtc_get_seconds(void *rtc)
1.33 +{
1.34 + return x1600_rtc_get_seconds(rtc);
1.35 +}
1.36 +
1.37 +void rtc_set_seconds(void *rtc, uint32_t seconds)
1.38 +{
1.39 + x1600_rtc_set_seconds(rtc, seconds);
1.40 +}
1.41 +
1.42 +uint32_t rtc_get_alarm_seconds(void *rtc)
1.43 +{
1.44 + return x1600_rtc_get_alarm_seconds(rtc);
1.45 +}
1.46 +
1.47 +void rtc_set_alarm_seconds(void *rtc, uint32_t seconds)
1.48 +{
1.49 + x1600_rtc_set_alarm_seconds(rtc, seconds);
1.50 +}
1.51 +
1.52 +void rtc_power_down(void *rtc)
1.53 +{
1.54 + x1600_rtc_power_down(rtc);
1.55 +}
1.56 +
1.57 +void rtc_set_regulator(void *rtc, uint32_t base, uint32_t adjustment)
1.58 +{
1.59 + x1600_rtc_set_regulator(rtc, base, adjustment);
1.60 +}
1.61 +
1.62 +
1.63 +
1.64 /* SPI adapter functions. */
1.65
1.66 void *spi_init(l4_addr_t spi_start, l4_addr_t start, l4_addr_t end, void *cpm)
1.67 @@ -391,6 +441,7 @@
1.68 [DMA] = "x1600-dma",
1.69 [GPIO] = "x1600-gpio",
1.70 [I2C] = "x1600-i2c",
1.71 + [RTC] = "x1600-rtc",
1.72 [SSI] = "x1600-ssi",
1.73 };
1.74