Restart kernel

2023-08-12 11:59:45 -07:00
parent 069ae5db4b
commit 7ad1079289
30 changed files with 98 additions and 1140 deletions
--- a/sw/kernel/devices/board_io.h
+++ b/sw/kernel/devices/board_io.h
@@ -1,16 +0,0 @@
-#ifndef _BOARD_IO_H
-#define _BOARD_IO_H
-
-#include <stdint.h>
-
-uint8_t hex_set_8(uint8_t val, uint8_t idx);
-uint8_t hex_set_16(uint16_t val);
-uint8_t hex_set_24(uint32_t val);
-
-void hex_enable(uint8_t mask);
-
-uint8_t sw_read();
-
-void led_set(uint8_t val);
-
-#endif