2018-04-07 21:43:54 +00:00
|
|
|
#include "utils.h"
|
|
|
|
#include "hwinit.h"
|
|
|
|
#include "loader.h"
|
|
|
|
|
2018-04-08 11:06:04 +00:00
|
|
|
#include "stage2.h"
|
2018-04-07 21:43:54 +00:00
|
|
|
|
2018-04-08 11:06:04 +00:00
|
|
|
/* Allow for main(int argc, void **argv) signature. */
|
|
|
|
#pragma GCC diagnostic ignored "-Wmain"
|
|
|
|
|
|
|
|
int main(int argc, void **argv) {
|
2018-04-07 21:43:54 +00:00
|
|
|
entrypoint_t entrypoint;
|
|
|
|
|
|
|
|
/* TODO: What other hardware init should we do here? */
|
|
|
|
|
|
|
|
/* This will load all remaining binaries off of the SD. */
|
|
|
|
entrypoint = load_payload();
|
|
|
|
|
|
|
|
/* TODO: What do we want to do in terms of argc/argv? */
|
|
|
|
entrypoint(0, NULL);
|
|
|
|
return 0;
|
|
|
|
}
|
|
|
|
|