#include <stdio.h>
#include "sd_utils.h"
#include "hwinit.h"
#include "sdmmc.h"

size_t read_sd_file(void *dst, size_t dst_size, const char *filename) {
    FILE *file = fopen(filename, "rb");
    if (file == NULL) {
        return 0;
    } else {
        size_t sz = fread(dst, 1, dst_size, file);
        fclose(file);
        return sz;
    }
}