compiler/ kernel/ lib/ scripts/ seed/ sublime/ test/ acceptance/ boot/ bootstrap/ cycles/ dispatch/ loader/ mmio/ modules/ native/ packages/ pages/ runtime/ scheduling/ shared/ slots/ smp/ sync/ termination/ kernel/ machine.ras 683 B spin.rad 1.1 KiB tests/ trap/ run 2.7 KiB runner.rad 10.3 KiB vim/ .gitignore 336 B .gitsigners 112 B CONTRIBUTING 2.1 KiB LICENSE 1.1 KiB Makefile 10.2 KiB README 2.5 KiB STYLE 2.5 KiB std.lib 1.5 KiB std.lib.test 551 B
test/termination/machine.ras 683 B raw
1 
//! Boot one hart and check user termination through production dispatch.
2 
.text;
3 
    call @kernel::boot::initialize;
4 
    call @kernel::dispatchcheck::setup;
5 
    call @kernel::boot::run;
6 
.export @kernel::dispatchcheck::memory;
7 
.export @kernel::dispatchcheck::kernelGp;
8 
.export @kernel::dispatchcheck::completion;
9 
.export @kernel::dispatchcheck::finish;
10 
@kernel::dispatchcheck::memory
11 
    ret;
12 
@kernel::dispatchcheck::kernelGp
13 
    mv %a0 %gp;
14 
    ret;
15 
@kernel::dispatchcheck::completion
16 
    la %a0 @complete;
17 
    ret;
18 
@complete
19 
    call @kernel::dispatchcheck::verify;
20 
    ebreak;
21 
@kernel::dispatchcheck::finish
22 
    li %t0 0x10001000;
23 
    li %t1 0x5555;
24 
    sw %t1 0(%t0);
25 
    ebreak;