radianceRadiance self-hosting compiler home log refs
agent/kernel-t2
  • master
  • agent/cell-permissions
  • cloudhead/master-next
  • agent/master-fixes
  • agent/opaque-records
  • agent/safe-ast
  • agent/lexical-regions-kernel-t2
  • agent/kernel-t2
  • kernel
  • cloudhead/memory-safety
  • cloudhead/generic-core-types
  • radiance-generics
  • ai/ril-safety
b15c0ef2 kernel: Allow dropping capabilities for dead domains Alexis Sellier 13 days ago
Clone
compiler/ kernel/ lib/ scripts/ seed/ sublime/ test/ acceptance/ boot/ bootstrap/ cycles/ dispatch/ loader/ mmio/ modules/ native/ packages/ pages/ runtime/ scheduling/ kernel/ machine.ras 274 B run 1.3 KiB shared/ slots/ smp/ sync/ termination/ 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/scheduling/machine.ras 274 B raw
1
//! Run production boot and finish after user-space scheduling checks.
2
.text;
3
    call @kernel::boot::initialize;
4
    call @kernel::boot::launch;
5
    ebreak;
6
.export @kernel::dispatchcheck::put;
7
@kernel::dispatchcheck::put
8
    li %t0 0x10000000;
9
    sb %a0 0(%t0);
10
    ret;