summaryrefslogtreecommitdiff
path: root/cmd/sbc_harness/main.c
diff options
context:
space:
mode:
Diffstat (limited to 'cmd/sbc_harness/main.c')
-rw-r--r--cmd/sbc_harness/main.c220
1 files changed, 193 insertions, 27 deletions
diff --git a/cmd/sbc_harness/main.c b/cmd/sbc_harness/main.c
index b9c5330..5630e83 100644
--- a/cmd/sbc_harness/main.c
+++ b/cmd/sbc_harness/main.c
@@ -1,24 +1,127 @@
/* sbc_harness/main.c - Main entry point and event loop for sbc-harness
*
- * Copyright (C) 2024 Luke T. Shumaker <lukeshu@lukeshu.com>
+ * Copyright (C) 2024-2025 Luke T. Shumaker <lukeshu@lukeshu.com>
* SPDX-License-Identifier: AGPL-3.0-or-later
*/
-#include <string.h> /* libc: for strlen() */
-#include <stdio.h> /* libc: for printf() */
+/* libc */
+#include <string.h> /* libc: for strlen() */
-#include <pico/stdlib.h> /* pico-sdk:pico_stdlib: for stdio_uart_init() */
-#include <hardware/flash.h> /* pico-sdk:hardware_flash: for flash_get_unique_id() */
+/* pico-sdk */
+#include <pico/stdio_uart.h> /* pico-sdk:pico_stdio_uart: for stdio_uart_init() */
+#include <hardware/flash.h> /* pico-sdk:hardware_flash: for flash_get_unique_id() */
+/* our OS */
#include <libcr/coroutine.h>
+#include <libhw/generic/alarmclock.h> /* so we can set `bootclock` */
#include <libhw/rp2040_hwspi.h>
+#include <libhw/rp2040_hwtimer.h>
#include <libhw/w5500.h>
-#include <libmisc/hash.h>
+
+/* our application libraries */
+#include <libdhcp/client.h>
#include <libusb/usb_common.h>
+#include <lib9p/srv.h>
+#include <util9p/static.h>
+
+/* our utility libraries */
+#include <libmisc/hash.h>
+#define LOG_NAME MAIN
+#include <libmisc/log.h>
+/* local headers */
#include "usb_keyboard.h"
+#include "static.h"
+#include "fs_harness_flash_bin.h"
+#include "fs_harness_uptime_txt.h"
+
+/* configuration **************************************************************/
+
+#include "config.h"
+
+#ifndef _CONFIG_9P_MAX_CONNS
+ #error config.h must define _CONFIG_9P_MAX_CONNS
+#endif
+#ifndef _CONFIG_9P_MAX_REQS
+ #error config.h must define _CONFIG_9P_MAX_REQS
+#endif
+
+/* file tree ******************************************************************/
+
+enum { PATH_BASE = __COUNTER__ };
+#define PATH_COUNTER __COUNTER__ - PATH_BASE
+
+#define STATIC_FILE(STRNAME, ...) UTIL9P_STATIC_FILE(PATH_COUNTER, STRNAME, __VA_ARGS__)
+#define STATIC_DIR(STRNAME, ...) UTIL9P_STATIC_DIR(PATH_COUNTER, STRNAME, __VA_ARGS__)
+
+#define API_FILE(STRNAME, SYMNAME, ...) \
+ lo_box_##SYMNAME##_file_as_lib9p_srv_file(&((struct SYMNAME##_file){ \
+ .name = STRNAME, \
+ .pathnum = PATH_COUNTER \
+ __VA_OPT__(,) __VA_ARGS__ \
+ }))
+
+struct lib9p_srv_file root =
+ STATIC_DIR("",
+ STATIC_DIR("Documentation",
+ STATIC_FILE("YOUR_RIGHTS_AND_OBLIGATIONS.md",
+ .data_start = _binary_static_Documentation_YOUR_RIGHTS_AND_OBLIGATIONS_md_start,
+ .data_end = _binary_static_Documentation_YOUR_RIGHTS_AND_OBLIGATIONS_md_end),
+ STATIC_DIR("YOUR_RIGHTS_AND_OBLIGATIONS",
+ STATIC_FILE("agpl-3.0.txt",
+ .data_start = _binary_static_Documentation_YOUR_RIGHTS_AND_OBLIGATIONS_agpl_3_0_txt_start,
+ .data_end = _binary_static_Documentation_YOUR_RIGHTS_AND_OBLIGATIONS_agpl_3_0_txt_end),
+ STATIC_FILE("pico-sdk.bsd3.txt",
+ .data_start = _binary_static_Documentation_YOUR_RIGHTS_AND_OBLIGATIONS_pico_sdk_bsd3_txt_start,
+ .data_end = _binary_static_Documentation_YOUR_RIGHTS_AND_OBLIGATIONS_pico_sdk_bsd3_txt_end),
+ STATIC_FILE("printf.mit.txt",
+ .data_start = _binary_static_Documentation_YOUR_RIGHTS_AND_OBLIGATIONS_printf_mit_txt_start,
+ .data_end = _binary_static_Documentation_YOUR_RIGHTS_AND_OBLIGATIONS_printf_mit_txt_end),
+ STATIC_FILE("tinyusb.mit.txt",
+ .data_start = _binary_static_Documentation_YOUR_RIGHTS_AND_OBLIGATIONS_tinyusb_mit_txt_start,
+ .data_end = _binary_static_Documentation_YOUR_RIGHTS_AND_OBLIGATIONS_tinyusb_mit_txt_end),
+ STATIC_FILE("newlib.txt",
+ .data_start = _binary_static_Documentation_YOUR_RIGHTS_AND_OBLIGATIONS_newlib_txt_start,
+ .data_end = _binary_static_Documentation_YOUR_RIGHTS_AND_OBLIGATIONS_newlib_txt_end),
+ ),
+ STATIC_FILE("harness_rom_bin.txt",
+ .data_start = _binary_static_Documentation_harness_rom_bin_txt_start,
+ .data_end = _binary_static_Documentation_harness_rom_bin_txt_end),
+ STATIC_FILE("harness_flash_bin.txt",
+ .data_start = _binary_static_Documentation_harness_flash_bin_txt_start,
+ .data_end = _binary_static_Documentation_harness_flash_bin_txt_end),
+ STATIC_FILE("harness_uptime_txt.txt",
+ .data_start = _binary_static_Documentation_harness_uptime_txt_txt_start,
+ .data_end = _binary_static_Documentation_harness_uptime_txt_txt_end),
+ ),
+ STATIC_DIR("harness",
+ STATIC_FILE("rom.bin",
+ .data_start = (void*)0x00000000,
+ .data_size = 16*1024),
+ API_FILE("flash.bin",
+ flash),
+ API_FILE("uptime.txt",
+ uptime),
+ // TODO: system.log
+ // TODO: proc.txt
+ // TODO: cpuinfo.txt
+ // TODO: ctl
+ ),
+ STATIC_DIR("dut",
+ // TODO: hdmi.nut
+ // TODO: uart.txt
+ // TODO: usb-keyboard.txt
+ ),
+ );
-COROUTINE hello_world_cr(void *_chan) {
+static lo_interface lib9p_srv_file get_root(struct lib9p_srv_ctx *LM_UNUSED(ctx), struct lib9p_s LM_UNUSED(treename)) {
+ return root;
+}
+
+/* Code ***********************************************************************/
+
+/*
+static COROUTINE hello_world_cr(void *_chan) {
const char *msg = "Hello world!\n";
usb_keyboard_rpc_t *chan = _chan;
cr_begin();
@@ -26,17 +129,55 @@ COROUTINE hello_world_cr(void *_chan) {
for (size_t i = 0;; i = (i+1) % strlen(msg)) {
int result = usb_keyboard_rpc_send_req(chan, (uint32_t)msg[i]);
if (result < 1) {
- printf("error!\n");
+ errorf("error sending rune U+%d", (uint32_t)msg[i]);
break;
}
}
cr_end();
}
+*/
-int main() {
- /* initialization *****************************************************/
- stdio_uart_init();
+struct {
+ struct rp2040_hwspi dev_spi;
+ struct w5500 dev_w5500;
+ usb_keyboard_rpc_t keyboard_chan;
+ uint16_t usb_serial[sizeof(uint64_t)*2]; /* UTF-16 */
+ struct lib9p_srv srv;
+} globals;
+
+static COROUTINE dhcp_cr(void *) {
+ cr_begin();
+
+ dhcp_client_main(lo_box_w5500_if_as_net_iface(&globals.dev_w5500), "harness");
+
+ cr_end();
+}
+
+static COROUTINE read9p_cr(void *) {
+ cr_begin();
+
+ lo_interface net_iface iface = lo_box_w5500_if_as_net_iface(&globals.dev_w5500);
+ lo_interface net_stream_listener listener = LO_CALL(iface, tcp_listen, LIB9P_DEFAULT_PORT_9FS);
+
+ lib9p_srv_accept_and_read_loop(&globals.srv, listener);
+
+ cr_end();
+}
+
+static COROUTINE write9p_cr(void *) {
+ cr_begin();
+
+ lib9p_srv_worker_loop(&globals.srv);
+
+ cr_end();
+}
+
+const char *const hexdig = "0123456789ABCDEF";
+static_assert(_CONFIG_9P_MAX_REQS <= 16);
+
+COROUTINE init_cr(void *) {
+ cr_begin();
/* NOR flash chips have a (bog-?)standard "RUID" "Read Unique
* ID" instruction; use our flash chip's unique ID as the
@@ -52,16 +193,18 @@ int main() {
(uint8_t)((flash_id32 >> 0) & 0xFF),
};
- struct rp2040_hwspi dev_spi;
- struct w5500 dev_w5500;
- rp2040_hwspi_init(&dev_spi, "W5500", RP2040_HWSPI_0,
+ rp2040_hwspi_init(&globals.dev_spi, "W5500", RP2040_HWSPI_0,
SPI_MODE_0, /* the W5500 supports mode 0 or mode 3 */
- 80*1000*1000, /* run at the W5500's max rate of 80MHz */
- 16, /* PIN_MISO */
- 19, /* PIN_MOSI */
- 18, /* PIN_CLK */
- 17); /* PIN_CS */
- w5500_init(&dev_w5500, "W5500", &dev_spi,
+ 42500000, /* min(w5500, hwspi); w5500=80MHz; hwspi=42.5MHz, see rp2040_hwspi.h for a comment about why this is so low */
+ 30, /* W5500 datasheet says min(T_CS = SCSn High Time) = 30ns */
+ 0, /* bogus write write data when doing a read */
+ 16, /* PIN_MISO */
+ 19, /* PIN_MOSI */
+ 18, /* PIN_CLK */
+ 17, /* PIN_CS */
+ 0, 1, 2, 3); /* DMA channels */
+ w5500_init(&globals.dev_w5500, "W5500",
+ lo_box_rp2040_hwspi_as_spi(&globals.dev_spi),
21, /* PIN_INTR */
20, /* PIN_RESET */
((struct net_eth_addr){{
@@ -71,17 +214,40 @@ int main() {
flash_id24[0], flash_id24[1], flash_id24[2],
}}));
- usb_common_earlyinit();
+ static_assert(sizeof(flash_id64)*2 == LM_ARRAY_LEN(globals.usb_serial));
+ for (size_t i = 0; i < LM_ARRAY_LEN(globals.usb_serial); i++)
+ globals.usb_serial[i] = hexdig[(flash_id64 >> ((sizeof(flash_id64)*8)-((i+1)*4))) & 0xF];
+ usb_common_earlyinit(globals.usb_serial, sizeof(globals.usb_serial));
usb_keyboard_init();
usb_common_lateinit();
+ globals.keyboard_chan = (usb_keyboard_rpc_t){0};
+
+ globals.srv.rootdir = get_root;
+
/* set up coroutines **************************************************/
- coroutine_add(usb_common_cr, NULL);
- usb_keyboard_rpc_t keyboard_chan = {0};
- coroutine_add(usb_keyboard_cr, &keyboard_chan);
- //coroutine_add(hello_world_cr, &keyboard_chan);
- //coroutine_add(dhcp_client_cr, NULL);
+ coroutine_add("usb_common", usb_common_cr, NULL);
+ coroutine_add("usb_keyboard", usb_keyboard_cr, &globals.keyboard_chan);
+ //coroutine_add("hello_world", hello_world_cr, &globals.keyboard_chan);
+ coroutine_add("dhcp", dhcp_cr, NULL);
+ for (int i = 0; i < _CONFIG_9P_MAX_CONNS; i++) {
+ char name[] = {'r', 'e', 'a', 'd', '-', hexdig[i], '\0'};
+ coroutine_add(name, read9p_cr, NULL);
+ }
+ for (int i = 0; i < _CONFIG_9P_MAX_REQS; i++) {
+ char name[] = {'w', 'r', 'i', 't', 'e', '-', hexdig[i], '\0'};
+ coroutine_add(name, write9p_cr, NULL);
+ }
+
+ cr_exit();
+}
- /* event loop *********************************************************/
+int main() {
+ bootclock = rp2040_hwtimer(0);
+ stdio_uart_init();
+ /* char *hdr = "=" * (80-strlen("info : MAIN: ")); */
+ infof("===================================================================");
+ coroutine_add("init", init_cr, NULL);
coroutine_main();
+ assert_notreached("all coroutines exited");
}