1.1 --- a/pkg/landfall-examples/hw_info/x1600.c Sun Feb 11 00:36:08 2024 +0100
1.2 +++ b/pkg/landfall-examples/hw_info/x1600.c Sun Feb 11 00:39:56 2024 +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/msc-x1600.h>
1.8 #include <l4/devices/rtc-x1600.h>
1.9 #include <l4/devices/spi-gpio.h>
1.10 #include <l4/devices/spi-hybrid.h>
1.11 @@ -325,6 +326,35 @@
1.12
1.13
1.14
1.15 +/* MSC adapter functions. */
1.16 +
1.17 +void *msc_init(l4_addr_t msc_start, l4_addr_t start, l4_addr_t end)
1.18 +{
1.19 + return x1600_msc_init(msc_start, start, end);
1.20 +}
1.21 +
1.22 +void *msc_get_channel(void *msc, uint8_t channel, l4_cap_idx_t irq, void *dma)
1.23 +{
1.24 + return x1600_msc_get_channel(msc, channel, irq, dma);
1.25 +}
1.26 +
1.27 +uint32_t msc_get_status(void *msc_channel)
1.28 +{
1.29 + return x1600_msc_get_status(msc_channel);
1.30 +}
1.31 +
1.32 +void msc_enable(void *msc_channel)
1.33 +{
1.34 + return x1600_msc_enable(msc_channel);
1.35 +}
1.36 +
1.37 +uint32_t msc_read_block(void *msc_channel, uint8_t card, l4re_dma_space_dma_addr_t paddr)
1.38 +{
1.39 + return x1600_msc_read_block(msc_channel, card, paddr);
1.40 +}
1.41 +
1.42 +
1.43 +
1.44 /* RTC adapter functions. */
1.45
1.46 void *rtc_init(l4_addr_t start, void *cpm)
1.47 @@ -576,6 +606,7 @@
1.48 [DMA] = "x1600-dma",
1.49 [GPIO] = "x1600-gpio",
1.50 [I2C] = "x1600-i2c",
1.51 + [MSC] = "x1600-msc",
1.52 [RTC] = "x1600-rtc",
1.53 [SSI] = "x1600-ssi",
1.54 [TCU] = "x1600-tcu",
1.55 @@ -671,6 +702,16 @@
1.56
1.57
1.58
1.59 +/* MSC definitions. */
1.60 +
1.61 +void *msc_channels[] = {NULL, NULL};
1.62 +
1.63 +const unsigned int num_msc_channels = 2;
1.64 +
1.65 +l4_cap_idx_t msc_irqs[] = {L4_INVALID_CAP, L4_INVALID_CAP};
1.66 +
1.67 +
1.68 +
1.69 /* SPI definitions. */
1.70
1.71 void *spi_channels[] = {NULL};