Copy bios device functions to kernel

2023-09-04 14:31:55 -07:00
parent 791bffb248
commit a770d938de
12 changed files with 1071 additions and 0 deletions
--- a/sw/kernel/devices/board_io.h
+++ b/sw/kernel/devices/board_io.h
@@ -0,0 +1,10 @@
+#ifndef _BOARD_IO_H
+#define _BOARD_IO_H
+
+#include <stdint.h>
+
+uint8_t sw_read();
+
+void led_set(uint8_t val);
+
+#endif