3 files changed, 0 insertions, 58 deletions
diff --git a/include/posix/driver/gpio.h b/include/posix/driver/gpio.h
deleted file mode 100644
index 0995729..0000000
--- a/include/posix/driver/gpio.h
+++ /dev/null
@@ -1,19 +0,0 @@
-#ifndef GPIO_H
-#define GPIO_H
-
-class GPIO {
-	private:
-		GPIO(const GPIO &copy);
-		unsigned char ledstate;
-
-	public:
-		GPIO () : ledstate(0) {}
-		void setup() {}
-		void led_on(unsigned char id);
-		void led_off(unsigned char id);
-		void led_toggle(unsigned char id);
-};
-
-extern GPIO gpio;
-
-#endif
diff --git a/include/posix/driver/stdout.h b/include/posix/driver/stdout.h
deleted file mode 100644
index b21ad56..0000000
--- a/include/posix/driver/stdout.h
+++ /dev/null
@@ -1,20 +0,0 @@
-#ifndef STANDARDOUTPUT_H
-#define STANDARDOUTPUT_H
-
-#include "object/outputstream.h"
-
-class StandardOutput : public OutputStream {
-	private:
-		StandardOutput(const StandardOutput &copy);
-
-	public:
-		StandardOutput () {}
-		void setup() {}
-
-		virtual void put(char c) override;
-		virtual void flush() override;
-};
-
-extern StandardOutput kout;
-
-#endif
diff --git a/include/posix/driver/uptime.h b/include/posix/driver/uptime.h
deleted file mode 100644
index 93711b9..0000000
--- a/include/posix/driver/uptime.h
+++ /dev/null
@@ -1,19 +0,0 @@
-#ifndef UPTIME_H
-#define UPTIME_H
-
-#include <stdint.h>
-
-class Uptime {
-	private:
-		Uptime(const Uptime &copy);
-
-	public:
-		Uptime () {}
-		uint64_t get_s();
-		uint64_t get_us();
-		uint64_t get_cycles();
-};
-
-extern Uptime uptime;
-
-#endif