GKaszewski/k-os
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

feat(kernel): 64 MiB user pool (frame table 16384)

Browse Source
This commit is contained in:
Gabriel Kaszewski
2026-10-27 23:03:19 +01:00
parent 90e11eb2e8
commit 6b13bf8bbf
2 changed files with 3 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

3
crates/adapter-riscv/src/board.rs
View File

@@ -6,7 +6,8 @@ pub const VIRTIO_SIZE: usize = 0x8000;
pub const PLIC_BASE: usize = 0x0C000000;
pub const CLINT_BASE: usize = 0x02000000;
pub const USER_POOL_BASE: usize = 0x84000000;
pub const USER_POOL_PAGES: usize = 4096;
/// 64 MiB, up to the end of RAM (QEMU virt's default 128 MiB).
pub const USER_POOL_PAGES: usize = 16384;
pub const TICK_INTERVAL: u64 = 10_000_000;
/// QEMU virt's PLIC lines.

2
crates/domain/src/memory/frame/mod.rs
View File

@@ -18,7 +18,7 @@ mod proofs;
pub const PAGE_SIZE: usize = 4096;
/// Frames the kernel can track. The board's user pool must fit.
pub const MAX_FRAMES: usize = if cfg!(kani) { 6 } else { 4096 };
pub const MAX_FRAMES: usize = if cfg!(kani) { 6 } else { 16384 };
#[derive(Debug, Clone, Copy, PartialEq, Eq)]
pub enum FrameUse {