# HG changeset patch
# User Paul Boddie <paul@boddie.org.uk>
# Date 1717769599 -7200
# Node ID b9ce4ff0e5eda949edbda5a45e4de170dd2b5263
# Parent  7b56ac3b3ef4389e4dbb1170f7a6c7e9e0d6125c
Employed dedicated X1600 SPI support.

diff -r 7b56ac3b3ef4 -r b9ce4ff0e5ed pkg/landfall-examples/hw_info/x1600.c
--- a/pkg/landfall-examples/hw_info/x1600.c	Fri Jun 07 16:12:32 2024 +0200
+++ b/pkg/landfall-examples/hw_info/x1600.c	Fri Jun 07 16:13:19 2024 +0200
@@ -28,7 +28,7 @@
 #include <l4/devices/rtc-x1600.h>
 #include <l4/devices/spi-gpio.h>
 #include <l4/devices/spi-hybrid.h>
-#include <l4/devices/spi-jz4780.h>
+#include <l4/devices/spi-x1600.h>
 #include <l4/devices/tcu-x1600.h>
 #include "common.h"
 
@@ -440,13 +440,13 @@
 
 void *spi_init(l4_addr_t spi_start, l4_addr_t start, l4_addr_t end, void *cpm)
 {
-  return jz4780_spi_init(spi_start, start, end, cpm);
+  return x1600_spi_init(spi_start, start, end, cpm);
 }
 
 void *spi_get_channel(void *spi, uint8_t num, void *channel, uint64_t frequency,
                       void *control_chip, int control_pin, int control_alt_func)
 {
-  void *ch = jz4780_spi_get_channel(spi, num, channel, frequency);
+  void *ch = x1600_spi_get_channel(spi, num, channel, frequency);
 
   return spi_hybrid_get_channel(ch, control_chip, control_pin, control_alt_func);
 }