-
Notifications
You must be signed in to change notification settings - Fork 0
Align syscall documentation, source declarations, and contracts #3
Copy link
Copy link
Open
Labels
area: docs-contractsDocs, wiki, ABI/API contracts, hardware-readiness wording.Docs, wiki, ABI/API contracts, hardware-readiness wording.needs: validationNeeds validation evidence or gate run.Needs validation evidence or gate run.priority: P1-highHigh-priority work for the current roadmap.High-priority work for the current roadmap.risk: api-contractRisk involving API, ABI, or contract compatibility.Risk involving API, ABI, or contract compatibility.type: taskConcrete engineering task or implementation work.Concrete engineering task or implementation work.
Milestone
Description
Metadata
Metadata
Assignees
Labels
area: docs-contractsDocs, wiki, ABI/API contracts, hardware-readiness wording.Docs, wiki, ABI/API contracts, hardware-readiness wording.needs: validationNeeds validation evidence or gate run.Needs validation evidence or gate run.priority: P1-highHigh-priority work for the current roadmap.High-priority work for the current roadmap.risk: api-contractRisk involving API, ABI, or contract compatibility.Risk involving API, ABI, or contract compatibility.type: taskConcrete engineering task or implementation work.Concrete engineering task or implementation work.
Summary
Reconcile the syscall ABI across current source, userspace headers, API docs, QEMU contract data, and gate expectations.
Problem / objective
Current source exposes syscalls through
XAIOS_SYSCALL_AGENT_DISPATCHnumber 34, whilecontracts/qemu-rc-v1.jsoncovers only 1-28 and docs/gate markers may lag newer socket and agent-dispatch paths.Acceptance criteria
docs/API.md,contracts/qemu-rc-v1.json, and QEMU gate expectations.Validation
make compile-checkmake qemu-abi-contractmake qemu-smokeif QEMU/toolchain is availableRelevant files
kernel/include/xaios/syscall.hkernel/user/syscall.cuserspace/include/xaios_user.hdocs/API.mdcontracts/qemu-rc-v1.jsonscripts/qemu-smoke.pyscripts/qemu_gate_lib.py