loader_stage2.c


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33

#include <stddef.h>
#include <stdint.h>
#include <uart.h>
#include <io.h>
#include <global.h>

void *const kernel_load_addr = ((void*) 0x8000);

void _stage2_main(uint32_t r0, uint32_t r1, uint32_t atags)
{
  uart_init();

  // get kernel size via uart (little endian)
  uint32_t b0, b1, b2, b3;
  
  b0 = getchar();
  b1 = getchar();
  b2 = getchar();
  b3 = getchar();
  
  uint32_t kernel_size = b0 | (b1 << 8) | (b2 << 16) | (b3 << 24);

  // load kernel at kernel_load_addr
  char *dst = kernel_load_addr, *end = dst + kernel_size;

  while (dst < end)
    *(dst++) = getchar();

  // jump to kernel
  ((void(*)(uint32_t, uint32_t, uint32_t)) kernel_load_addr)
    (r0, r1, atags);
}