code wiki / _hdl_build / nx_rv64_kernel_gate.nx

nx_rv64_kernel_gate.nx

buildroot/runtime/_hdl_build/nx_rv64_kernel_gate.nx

5051 B62 linesdepth 5pulls 16 transitivereach 0 importersview sourcekind gate/prooftopic rv64
docsdependenciesstructsconstsfunctions

about

nx_rv64_kernel_gate.nx -- CAPSTONE: the sovereign emulator runs a real bare-metal KERNEL, bit-identical to QEMU. Loads knowledge/hw/kernel.bin -- a gcc -march=rv64imac_zicsr compiled C kernel that COMPOSES the privileged primitives a real OS uses together: mtvec trap-vector setup + a machine-timer INTERRUPT HANDLER (gcc interrupt attribute: save/restore + mret) + timer re-arm + mstatus.MIE/mie.MTIE + an IDLE LOOP that advances ONLY via timer interrupts (the preemptive-scheduler primitive) + deterministic disarm at N ticks. Runs it on the golden sim (full privileged CPU + CLINT + UART) and confirms UART == 05 03 2a (ticks=5, handler-checksum=3, sentinel) -- which == qemu-system-riscv64 (deterministic across runs). Proves the emulator runs real KERNEL code (interrupts composed), not just isolated feature tests -- the foundation is ready for NishiOS-on-RISC-V kernel development. expect_exit: 0

dependencies 11 imports · 0 importers

nx_syscalls.nx nishi_hdl_primitives.nx rv64im_min_decoder.nx rv64im_min_alu.nx rv64im_min_regfile.nx rv64im_min_csr.nx rv64im_min_clint.nx rv64im_min_uart.nx rv64im_min_virtio.nx rv64im_min_mmu.nx nx_rv64_kernel_gate.nx

diagram shows first 10 each side; +1 more imports, +0 more importers in the complete lists below.

imports: nx_syscalls.nxnishi_hdl_primitives.nxrv64im_min_decoder.nxrv64im_min_alu.nxrv64im_min_regfile.nxrv64im_min_csr.nxrv64im_min_clint.nxrv64im_min_uart.nxrv64im_min_virtio.nxrv64im_min_mmu.nxrv64im_min_sim.nx

imported by: nobody (leaf or entry point)

call flow from main pre-order; caps 40 nodes / depth 6 declared; ↻ = already shown

main g_puts sys_write sys_mmap sys_read_file sys_openat_rd sys_lseek sys_mmap ↻ sys_read sys_close sys_exit g_pn sys_mmap ↻ sys_write ↻ nx_rv64im_rf_init nx_rv64im_csr_init nx_clint_init nx_uart_init nx_rv64im_sim_init nx_rv64im_sim_run nx_rv64im_sim_step nx_clint_tick nx_clint_update_mtip nx_rv64im_csr_tick_mcycle nx_clint_mtip_get nx_rv64im_csr_read nx_csr_addr_to_slot nx_rv64im_sim_take_trap nx_rv64im_csr_read ↻ nx_rv64im_csr_write nx_csr_addr_to_slot ↻ nx_csr_is_read_only nx_rv64im_xlate nx_rv64im_csr_read ↻ nx_rv64im_is_device sys_mmap ↻ nx_sv39_walk nx_mmu_inrange nx_mmu_rd64 nx_mmu_inrange ↻

structs

none

consts

25const DMEM_BASE: i64 = 0x80000000
26const DMEM_SIZE: i64 = 262144

functions

21func g_puts(s: *u8) -> i64 { var n: i64=0; while s[n]!=(0 as u8){n=n+1} sys_write(1,s,n); return 0 }
called by 2: ckmain calls 1: sys_write
22func g_pn(v: i64) -> i64 { let b: *u8=sys_mmap(28); var x: i64=v; if x==0{b[0]=48;sys_write(1,b,1);return 0} var d: i64=0; var y: i64=x; while y>0{d=d+1;y=y/10} var i: i64=d-1; y=x; while i>=0{b[i]=(48+(y%10)) as u8;y=y/10;i=i-1} sys_write(1,b,d); return 0 }
called by 1: main calls 2: sys_mmapsys_write
23func g_hx(v: i64) -> i64 { let b: *u8=sys_mmap(4); let n0: i64=(v>>4)&15; let n1: i64=v&15; if n0<10 { b[0]=(48+n0) as u8 } else { b[0]=(87+n0) as u8 } if n1<10 { b[1]=(48+n1) as u8 } else { b[1]=(87+n1) as u8 } b[2]=32 as u8; sys_write(1,b,3); return 0 }
called by 1: main calls 2: sys_mmapsys_write
24func ck(name: *u8, c: i64) -> i64 { if c==1 { g_puts(" PASS " as *u8) } else { g_puts(" FAIL " as *u8) } g_puts(name); g_puts("\n" as *u8); return c }
called by 1: main calls 1: g_puts
28func main() -> i64
calls 17: g_putssys_mmapsys_read_filesys_exitg_pnnx_rv64im_rf_init+11