boot2

Playing with the boostrap
git clone https://git.ryansepassi.com/git/boot2.git
Log | Files | Refs | README

riscv64-elf-start-addr.after (503B)

      1 /* Stock tcc 0.9.26 defaults statically-linked riscv64 binaries to
      2    `addr = 0x00010000`, which sits below the seed kernel's user VA
      3    window (USER_VA_LO = 0x00200000). Land tcc-emitted ELFs at the
      4    same 0x600000 the rest of the chain (M0/hex2pp -B, scheme1, hex2,
      5    ...) uses, so sys_spawn's load_elf can copy segments into the
      6    user pool without falling through to the unmapped low-PA range.
      7    amd64 (0x400000) and aarch64 (0x400000) defaults already fit. */
      8 #define ELF_START_ADDR 0x00600000