Module kernel_op 

Kernel operation codes for the submission ring.

Each KernelOp represents a primitive operation the kernel provides. Operations are grouped by category:

• 0x00xx — Memory (map, unmap, protect)
• 0x01xx — Scheduling (yield, threads, futex)
• 0x02xx — Time (clocks, random)
• 0x04xx — VFS (open, read, write, stat)
• 0x05xx — Network (TCP, UDP)
• 0x06xx — Signals
• 0x0Fxx — Debug
• 0x10xx — Domain lifecycle

Argument conventions

All operations use the 5-element args array in SubmitEntry:

• Memory: [addr, len, prot/flags, 0, 0]
• VFS: [handle, user_buf, len, offset, flags]
• Network: [handle, user_buf, len, addr_ptr, addrlen]

Modules

clock

Clock IDs.

map

Memory map flags.

open

File open flags (POSIX O_*).

prot

Memory protection flags (POSIX PROT_*).

seek

Seek whence values.

Enums

KernelOp

Kernel operation codes.

Constants

MAX_SUBMIT_COUNT

Maximum operations per SYS_SUBMIT call (bounds WCET for DO-178C).

SYS_SUBMIT

Syscall number for SYS_SUBMIT.