Gabriel Kaszewski
7c7e3b8748
Every syscall stub now uses proper types from types/ — CapSlot,
EntryPoint, StackPointer, VirtualAddress, PageCount, ProcessId,
PermissionSet, Ticks. The compiler prevents swapping entry/stack,
passing a ProcessId where a CapSlot is expected, or using an
address as a page count.
New display types in types/display.rs:
- Color(u32) with rgb() constructor
- ScreenCoord(u16) for x/y positions
- Dimension(u16) for width/height
Updated throughout:
- userspace/syscall.rs: all params typed, returns Option instead
of sentinel usize::MAX
- server-framework: endpoint param is CapSlot
- port-framebuffer: trait uses Color, ScreenCoord, Dimension
- hw-virtio: DmaAddrs uses PhysicalAddress/VirtualAddress,
GPU commands use Dimension
- All servers, drivers, bins, apps updated for new signatures
- permission-manager: process field uses ProcessId
- PermissionSet: added bits() accessor
89 tests pass, full QEMU boot verified.
18 lines
434 B
Rust
18 lines
434 B
Rust
#![no_std]
|
|
|
|
pub mod protocol;
|
|
pub mod server;
|
|
|
|
#[cfg(test)]
|
|
#[path = "tests/mod.rs"]
|
|
mod tests;
|
|
|
|
pub fn run() -> ! {
|
|
let create_cap = types::bounded::CapSlot::new(0).unwrap();
|
|
let mut srv = server::SessionServer::new(create_cap);
|
|
srv.register_app("snake", "/apps/snake.elf");
|
|
let ep = types::bounded::CapSlot::new(0).unwrap();
|
|
server_framework::serve(&mut srv, ep);
|
|
loop { userspace::syscall::yield_now(); }
|
|
}
|