Gabriel Kaszewski
8d2c40cb1e
- FrameTable: per-frame owner/use, replaces PagePool + ProcessMemory - Quota per process, page tables charged to owner - Regions for shared mem + device MMIO, torn down w/ owner - Platform: create/destroy AS, map/unmap, zero_frame; drop translate_va - RequestPages/ReleasePages/MapPage(move) checked vs kernel records - user window 0x1000..32MiB, private pts by construction - boot loader + device setup go through kernel api - kernel built in place, boot allocator bounded - isolation tests, randomized invariant test, FrameTable kani proofs - fixes: inflated release, unmapped release, dst va unchecked, heap overflow, unbounded pt alloc, unzeroed frames, double free
339 lines
4.4 KiB
TOML
339 lines
4.4 KiB
TOML
# This file is automatically @generated by Cargo.
|
|
# It is not intended for manual editing.
|
|
version = 4
|
|
|
|
[[package]]
|
|
name = "accessibility-server"
|
|
version = "0.1.0"
|
|
|
|
[[package]]
|
|
name = "adapter-riscv"
|
|
version = "0.1.0"
|
|
dependencies = [
|
|
"domain",
|
|
"elf",
|
|
"hw-virtio",
|
|
"kernel",
|
|
"platform",
|
|
"types",
|
|
]
|
|
|
|
[[package]]
|
|
name = "alarm-server"
|
|
version = "0.1.0"
|
|
|
|
[[package]]
|
|
name = "audio-capture-server"
|
|
version = "0.1.0"
|
|
|
|
[[package]]
|
|
name = "audio-playback-server"
|
|
version = "0.1.0"
|
|
|
|
[[package]]
|
|
name = "bluetooth-server"
|
|
version = "0.1.0"
|
|
|
|
[[package]]
|
|
name = "calendar-server"
|
|
version = "0.1.0"
|
|
|
|
[[package]]
|
|
name = "camera-server"
|
|
version = "0.1.0"
|
|
|
|
[[package]]
|
|
name = "clipboard-server"
|
|
version = "0.1.0"
|
|
|
|
[[package]]
|
|
name = "contacts-server"
|
|
version = "0.1.0"
|
|
|
|
[[package]]
|
|
name = "display-qemu"
|
|
version = "0.1.0"
|
|
dependencies = [
|
|
"display-server",
|
|
"driver-framebuffer-mock",
|
|
"driver-framebuffer-virtio",
|
|
"libkos",
|
|
"port-framebuffer",
|
|
"server-framework",
|
|
"types",
|
|
]
|
|
|
|
[[package]]
|
|
name = "display-server"
|
|
version = "0.1.0"
|
|
dependencies = [
|
|
"driver-framebuffer-mock",
|
|
"port-framebuffer",
|
|
"server-framework",
|
|
"types",
|
|
]
|
|
|
|
[[package]]
|
|
name = "domain"
|
|
version = "0.1.0"
|
|
dependencies = [
|
|
"types",
|
|
]
|
|
|
|
[[package]]
|
|
name = "driver-block-virtio"
|
|
version = "0.1.0"
|
|
dependencies = [
|
|
"hw-virtio",
|
|
"port-block-device",
|
|
"types",
|
|
]
|
|
|
|
[[package]]
|
|
name = "driver-framebuffer-mock"
|
|
version = "0.1.0"
|
|
dependencies = [
|
|
"port-framebuffer",
|
|
"types",
|
|
]
|
|
|
|
[[package]]
|
|
name = "driver-framebuffer-virtio"
|
|
version = "0.1.0"
|
|
dependencies = [
|
|
"hw-virtio",
|
|
"port-framebuffer",
|
|
"types",
|
|
]
|
|
|
|
[[package]]
|
|
name = "driver-input-uart"
|
|
version = "0.1.0"
|
|
dependencies = [
|
|
"port-input-device",
|
|
]
|
|
|
|
[[package]]
|
|
name = "driver-input-virtio"
|
|
version = "0.1.0"
|
|
dependencies = [
|
|
"hw-virtio",
|
|
"port-input-device",
|
|
"types",
|
|
]
|
|
|
|
[[package]]
|
|
name = "echo"
|
|
version = "0.1.0"
|
|
dependencies = [
|
|
"libkos",
|
|
"types",
|
|
]
|
|
|
|
[[package]]
|
|
name = "elf"
|
|
version = "0.1.0"
|
|
|
|
[[package]]
|
|
name = "gatekeeper"
|
|
version = "0.1.0"
|
|
|
|
[[package]]
|
|
name = "gps-server"
|
|
version = "0.1.0"
|
|
|
|
[[package]]
|
|
name = "hello"
|
|
version = "0.1.0"
|
|
dependencies = [
|
|
"libkos",
|
|
]
|
|
|
|
[[package]]
|
|
name = "hw-virtio"
|
|
version = "0.1.0"
|
|
dependencies = [
|
|
"types",
|
|
]
|
|
|
|
[[package]]
|
|
name = "init"
|
|
version = "0.1.0"
|
|
dependencies = [
|
|
"elf",
|
|
"libkos",
|
|
"types",
|
|
]
|
|
|
|
[[package]]
|
|
name = "input-qemu"
|
|
version = "0.1.0"
|
|
dependencies = [
|
|
"driver-input-uart",
|
|
"driver-input-virtio",
|
|
"input-server",
|
|
"libkos",
|
|
"server-framework",
|
|
"types",
|
|
]
|
|
|
|
[[package]]
|
|
name = "input-server"
|
|
version = "0.1.0"
|
|
dependencies = [
|
|
"libkos",
|
|
"port-input-device",
|
|
"server-framework",
|
|
"types",
|
|
]
|
|
|
|
[[package]]
|
|
name = "kernel"
|
|
version = "0.1.0"
|
|
dependencies = [
|
|
"domain",
|
|
"platform",
|
|
"types",
|
|
]
|
|
|
|
[[package]]
|
|
name = "keychain-server"
|
|
version = "0.1.0"
|
|
|
|
[[package]]
|
|
name = "libkos"
|
|
version = "0.1.0"
|
|
dependencies = [
|
|
"types",
|
|
]
|
|
|
|
[[package]]
|
|
name = "log-server"
|
|
version = "0.1.0"
|
|
dependencies = [
|
|
"libkos",
|
|
"server-framework",
|
|
"types",
|
|
]
|
|
|
|
[[package]]
|
|
name = "media-index-server"
|
|
version = "0.1.0"
|
|
|
|
[[package]]
|
|
name = "network-server"
|
|
version = "0.1.0"
|
|
|
|
[[package]]
|
|
name = "notification-server"
|
|
version = "0.1.0"
|
|
|
|
[[package]]
|
|
name = "package-manager"
|
|
version = "0.1.0"
|
|
|
|
[[package]]
|
|
name = "permission-manager"
|
|
version = "0.1.0"
|
|
dependencies = [
|
|
"libkos",
|
|
"server-framework",
|
|
"types",
|
|
]
|
|
|
|
[[package]]
|
|
name = "platform"
|
|
version = "0.1.0"
|
|
dependencies = [
|
|
"types",
|
|
]
|
|
|
|
[[package]]
|
|
name = "port-block-device"
|
|
version = "0.1.0"
|
|
|
|
[[package]]
|
|
name = "port-framebuffer"
|
|
version = "0.1.0"
|
|
dependencies = [
|
|
"types",
|
|
]
|
|
|
|
[[package]]
|
|
name = "port-input-device"
|
|
version = "0.1.0"
|
|
|
|
[[package]]
|
|
name = "power-server"
|
|
version = "0.1.0"
|
|
|
|
[[package]]
|
|
name = "print-server"
|
|
version = "0.1.0"
|
|
|
|
[[package]]
|
|
name = "server-framework"
|
|
version = "0.1.0"
|
|
dependencies = [
|
|
"libkos",
|
|
"types",
|
|
]
|
|
|
|
[[package]]
|
|
name = "session-server"
|
|
version = "0.1.0"
|
|
dependencies = [
|
|
"libkos",
|
|
"server-framework",
|
|
"types",
|
|
]
|
|
|
|
[[package]]
|
|
name = "snake"
|
|
version = "0.1.0"
|
|
dependencies = [
|
|
"display-server",
|
|
"libkos",
|
|
"server-framework",
|
|
"types",
|
|
]
|
|
|
|
[[package]]
|
|
name = "storage-qemu"
|
|
version = "0.1.0"
|
|
dependencies = [
|
|
"libkos",
|
|
"storage-server",
|
|
]
|
|
|
|
[[package]]
|
|
name = "storage-server"
|
|
version = "0.1.0"
|
|
dependencies = [
|
|
"driver-block-virtio",
|
|
"libkos",
|
|
"port-block-device",
|
|
"server-framework",
|
|
"types",
|
|
]
|
|
|
|
[[package]]
|
|
name = "sync-server"
|
|
version = "0.1.0"
|
|
|
|
[[package]]
|
|
name = "telephony-server"
|
|
version = "0.1.0"
|
|
|
|
[[package]]
|
|
name = "types"
|
|
version = "0.1.0"
|
|
|
|
[[package]]
|
|
name = "usb-server"
|
|
version = "0.1.0"
|
|
|
|
[[package]]
|
|
name = "user-manager"
|
|
version = "0.1.0"
|