Kevin Boos

We already patch `libc` to refer to our fork on GitHub: https://github.com/theseus-os/Theseus/blob/5cf0bb0f1522b2cd0dccd27d10dcef85ce0eb7b7/Cargo.toml#L114 Now that theseus-os/libc#1 has been merged, we need to update our dependencies to use that latest version.

Use specialization to accelerate `MappedPages::as_slice[_mut]()` for byte slices

1

The implementation of `MappedPages::as_slice::()` can be specialized to _always_ succeed (given our current assumption of all mappings be readable/PRESENT). The implementation of `MappedPages::as_slice_mut::()` can be specialized to succeed as long...

Move assembly linking and symbol parsing/serialization into the `nano_core` build script

1

(Relevant after #542 lands) Right now both of these steps are done in the `Makefile`, specifically the `$(nano_core_binary)` target. Doing this in the `Makefile` is okay but it prevents us...

Use the `mold` linker instead of `ld` or `lld`

2

[`mold`](https://github.com/rui314/mold) is a faster linker that benefits from parallelization. It should be easy enough to use as a drop-in replacement, there are even Rust-specific instructions: If using Rust, create a...

There are some unimportant warnings issued by the compiler when building `wasmtime` on Theseus. In general, these should be dealt with, but it's low priority. I envision these will be...

cc @Ramla-I > looking back over the sampling code, there are some issues. Foremost is the assumption that the maximum bit width of the counter is 32, when we should...

Patch `owning_ref` to avoid (unused) unsoundness

1

See: https://github.com/Kimundi/owning-ref-rs/pull/78 We don't currently use the unsound functions, but it's a good idea to patch this nonetheless (in the root `Cargo.toml`'s `[patch]` section).

Use lock-free heap allocator

4

Heap allocations are horribly expensive right now because the Heap acquires an Irq-safe Mutex lock, which disables interrupts for the duration of a heap allocation. We should switch to a...

There's probably an issue with the `ps2` crate and how its initialization routine works. Relevant log excerpts: ``` [I] kernel/ps2/src/lib.rs:92: ps2 controller test pass!!! [I] kernel/ps2/src/lib.rs:101: first ps2 port test...

Use dedicated types to statically check for write or exec MappedPages permissions

1

Expand the existing `MappedPages` type to have statically-typed permissions semantics: * `MappedPages` is read-only. - It only offers the `as_type()` and `as_slice()` functions. * `MappedPagesMut` is an extension that is...