drivers made independent from microcontroller/os

1 files changed, 5 insertions, 22 deletions

diff --git a/fw/fe310/eos/dev/drv/sdcard.c b/fw/fe310/eos/dev/drv/sdcard.c
index bc6b999..96b01ae 100644
--- a/fw/fe310/eos/dev/drv/sdcard.c
+++ b/fw/fe310/eos/dev/drv/sdcard.c
@@ -3,7 +3,6 @@
 
 #include "eos.h"
 
-#include "sdc_platform.h"
 #include "sdcard.h"
 
 #ifdef SDC_DEBUG
@@ -67,7 +66,7 @@
 #define SET_WR_BLK_ERASE_COUNT  23
 #define SD_APP_OP_COND          41
 
-static uint8_t sdc_type = 0;
+static uint8_t sdc_type = SDC_TYPE_NONE;
 
 static uint8_t sdc_crc7(uint8_t crc, uint8_t b) {
     int i;
@@ -355,26 +354,6 @@ int sdc_init(uint32_t timeout) {
     return SDC_OK;
 }
 
-#include "board.h"
-#include "spi.h"
-
-int sdc_init(uint8_t wakeup_cause) {
-    int rv;
-
-    sdc_spi_set_div(SDC_SPI_DEV_SDC, 1024);     // 100 - 400 kHz
-
-    rv = sdc_spi_select(SDC_SPI_DEV_SDC);
-    if (rv) goto sdc_init_fin;
-
-    rv = sdc_init(1000);
-    sdc_spi_deselect();
-
-sdc_init_fin:
-    sdc_spi_set_div(SDC_SPI_DEV_SDC, SPI_DIV_SDC);
-
-    return rv;
-}
-
 uint8_t sdc_get_type(void) {
     return sdc_type & SDC_TYPE_MASK;
 }
@@ -383,6 +362,10 @@ uint8_t sdc_get_cap(void) {
     return sdc_type & SDC_CAP_MASK;
 }
 
+void sdc_clear(void) {
+    sdc_type = SDC_TYPE_NONE;
+}
+
 int sdc_get_sect_count(uint32_t timeout, uint32_t *sectors) {
     int rv;
     uint8_t csd[16];