Kernel interaction with userspace via queues

twizzler-operating-system / twizzler

The Twizzler Operating System

BSD 3-Clause "New" or "Revised" License

66 stars 13 forks source link

Closed dbittman closed 1 year ago

dbittman commented 1 year ago

This PR adds functionality to the kernel for:

Mapping objects into kernel memory
twizzler-queue in the kernel
starting the pager by creating queues in userspace and assigning them as pager queues.

The remaining pager functionality will come later, after an RFC defines the protocol.