bbl/bbl.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

#include "bbl.h"
#include "mtrap.h"
#include "atomic.h"
#include "vm.h"
#include "bits.h"
#include "config.h"
#include <string.h>

static volatile uintptr_t entry_point;

void boot_other_hart()
{
  while (!entry_point)
    ;
  mb();
  enter_supervisor_mode((void *)entry_point, read_csr(mhartid), 0);
}

void boot_loader()
{
  extern char _payload_start, _payload_end;
  uintptr_t entry = load_kernel_elf(&_payload_start, &_payload_end - &_payload_start);
#ifdef PK_ENABLE_LOGO
  print_logo();
#endif
  mb();
  entry_point = entry;
  boot_other_hart();
}