Skip to content

Commit 361f121

Browse files
committed
update
1 parent b851e9d commit 361f121

3 files changed

Lines changed: 1551 additions & 0 deletions

File tree

README.md

Lines changed: 5 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -2,6 +2,10 @@
22

33
A Cross-Domain Virtualizer operating system kernel for x86-64, written entirely in the Dust Programming Language (DPL).
44

5+
For `xdv-os` bare-metal image boot/runtime, the kernel sector also provides
6+
`sector/xdv_kernel/src/kernel_runtime_shell.asm`, which implements the runtime
7+
keyboard (US layout), command buffer, and builtin shell dispatch profile used by VirtualBox validation.
8+
59
## Overview
610

711
XDV v0.2 is a multi-domain operating system kernel that supports three computational domains:
@@ -59,6 +63,7 @@ xdv-kernel/
5963
│ │ └── drivers_tests.ds
6064
│ ├── xdv_kernel/ # Core kernel
6165
│ │ ├── kernel.ds
66+
│ │ ├── kernel_runtime_shell.asm
6267
│ │ └── kernel_tests.ds
6368
│ ├── xdv_dal/ # Domain Abstraction Layer
6469
│ │ ├── dal.ds

sector/xdv_kernel/src/kernel.ds

Lines changed: 2 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -22,6 +22,8 @@ forge XdvKernel {
2222
// codegen-safe boot path used by xdv-os image build.
2323
proc K::kernel_start() -> UInt32 {
2424
emit "XDV Kernel starting...";
25+
xdv_os_boot_contract();
26+
emit "XDV Kernel: received loader handoff";
2527
init_kernel_boot();
2628
load_runtime_boot();
2729
start_runtime_boot();

0 commit comments

Comments
 (0)