38 lines
813 B
C
38 lines
813 B
C
#include "bootloader.h"
|
|
#include "elf/elf.h"
|
|
|
|
#include <errno.h>
|
|
#include <stdlib.h>
|
|
#include <stdio.h>
|
|
|
|
uint32_t bootload(char* file_path)
|
|
{
|
|
// Open the file
|
|
FILE* f = fopen(file_path, "r");
|
|
if(!f)
|
|
{
|
|
fprintf(stderr, "Could not open file '%s': %s\n", file_path, strerror(errno));
|
|
exit(EXIT_FAILURE);
|
|
}
|
|
|
|
// Obtain file size
|
|
fseek(f, 0, SEEK_END);
|
|
size_t file_size = ftell(f);
|
|
fseek(f, 0, SEEK_SET);
|
|
|
|
// Load the file in memory
|
|
void* file = malloc(file_size);
|
|
if(fread(file, file_size, 1, f) != 1)
|
|
{
|
|
fprintf(stderr, "Could not read file '%s': %s\n", file_path, strerror(errno));
|
|
fclose(f);
|
|
exit(EXIT_FAILURE);
|
|
}
|
|
|
|
// Close the file
|
|
fclose(f);
|
|
|
|
// TODO: Check file type (for now we only bootload ELF)
|
|
return elf_32_load(file);
|
|
}
|