Function kernel_loads_and_runs_elf

tests/integration/kernel_integration.rs:1549–1593

()

    assert!(!uart.contains("PANIC!"), "kernel panicked; uart={uart:?}");
    assert!(
        !uart.contains("unhandled exception"),
        "the HLL-0 target faulted; uart={uart:?}"
    );
    assert!(
        uart.contains("as: wrote /hello.elf"),
        "assembler did not report success; uart={uart:?}"
    );
    // Both the host-compiled source and the hand-written target must print the
    // marker and exit 36, so each appears twice.
    assert!(
        uart.matches("HLL0").count() >= 2,
        "source and target did not both print the marker; uart={uart:?}"
    );
    assert!(
        uart.matches("[exit 36]").count() >= 2,
        "source and target did not both exit 36; uart={uart:?}"
    );
    assert!(
        matches!(outcome, StepOutcome::Halted(0)),
        "shell did not survive the runs and exit cleanly; outcome={outcome:?} uart={uart:?}"
    );
}

// `cc.hll` is built into /bin/cc.elf, so it must host-compile. Fast guard for
// HLL errors without booting the kernel.
#[test]
fn cc_host_compiles() {
    let out = compile_hosted_program("cc");
    assert!(
        !out.to_flat_binary().is_empty(),
        "cc.hll produced an empty binary"
    );
}

// Separate compilation entirely in-VM: a.s calls an external `get_val` (CALL_PLT)
// and b.s loads its own `.data` via `la` (PCREL_HI20), so `[exit 42]` covers both.
#[test]
fn kernel_ld_links_objects_and_runs() {
    let a_s = b"\
.globl _start
.text
_start:
  call get_val
  li a7, 93
  ecall
";
    let b_s = b"\