1 files changed, 0 insertions, 43 deletions
diff --git a/picorv32/firmware/firmware.h b/picorv32/firmware/firmware.h
deleted file mode 100644
index 59d3f11..0000000
--- a/picorv32/firmware/firmware.h
+++ /dev/null
@@ -1,43 +0,0 @@
-// This is free and unencumbered software released into the public domain.
-//
-// Anyone is free to copy, modify, publish, use, compile, sell, or
-// distribute this software, either in source code form or as a compiled
-// binary, for any purpose, commercial or non-commercial, and by any
-// means.
-
-#ifndef FIRMWARE_H
-#define FIRMWARE_H
-
-#include <stdint.h>
-#include <stdbool.h>
-
-// irq.c
-uint32_t *irq(uint32_t *regs, uint32_t irqs);
-
-// print.c
-void print_chr(char ch);
-void print_str(const char *p);
-void print_dec(unsigned int val);
-void print_hex(unsigned int val, int digits);
-
-// hello.c
-void hello(void);
-
-// sieve.c
-void sieve(void);
-
-// multest.c
-uint32_t hard_mul(uint32_t a, uint32_t b);
-uint32_t hard_mulh(uint32_t a, uint32_t b);
-uint32_t hard_mulhsu(uint32_t a, uint32_t b);
-uint32_t hard_mulhu(uint32_t a, uint32_t b);
-uint32_t hard_div(uint32_t a, uint32_t b);
-uint32_t hard_divu(uint32_t a, uint32_t b);
-uint32_t hard_rem(uint32_t a, uint32_t b);
-uint32_t hard_remu(uint32_t a, uint32_t b);
-void multest(void);
-
-// stats.c
-void stats(void);
-
-#endif