Module async_types 

Async Runtime Type Definitions for VeridianOS

Defines the kernel-side contract for user-space async runtime primitives. These types describe task states, priorities, channels, and timers that the kernel’s scheduler exposes to user-space async runtimes.

TODO(user-space): The actual async runtime implementation requires user-space process execution. This module provides the type definitions that both kernel scheduler primitives and user-space runtimes agree upon.

Structs

AsyncRuntimeConfig

Configuration for a user-space async runtime instance.

ChannelConfig

Configuration for an asynchronous communication channel.

TaskHandle

Handle to a scheduled asynchronous task.

TimerSpec

Specification for an asynchronous timer.

Enums

TaskPriority

Priority level for an asynchronous task.

TaskState

Execution state of an asynchronous task.

TimerMode

Determines whether a timer fires once or repeatedly.