Kevin Boos

icon indicating a website link https://www.theseus-os.com/kevinaboos/

icon company @futurewei-tech, @theseus-os icon location Bellevue, Washington icon location Open-source Rust developer. Principal Architect at @futurewei-tech. Tech lead for @project-robius. Creator of @theseus-os. PhD, Rice University

Results 327 comments of Kevin Boos

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

Closed by #732, which moves the compilation of assembly code out of the `Makefile` and into the nano_core's build script.

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

Blocked on the merging of dedicated `MappedPagesMut`/`MappedPagesExec`/etc types

floor(), floorf(), ceil() and ceilf() Don't actually work on no-std (linker error)

We have also experienced this issue on custom x86_64-based targets for quite a long time. My workaround has just been to write `#[no_mangle]` wrappers around the missing functions, but it'd...

Unify std and no_std APIs for `IndexMap` and `IndexSet`

Thanks for the update, appreciate it!

Network management UI: system default proxy all traffic throughout the system

Hi @Pantyhose-X, thanks for the comment. Unfortunately I'm not quite sure what you're asking for. Is it something along the lines of wanting the source code for Theseus made available...

Network management UI: system default proxy all traffic throughout the system

Or if this is about running Theseus on a machine that uses a proxy, or using a proxy to redirect Theseus's inbound & outbound traffic, we do have instructions for...

Network management UI: system default proxy all traffic throughout the system

Right, you said that already, but I was hoping to clarify. You'd like a UI application that runs atop Theseus for the purpose of creating a network proxy?

Add support for `std`

> @kevinaboos should be ready for review Great! I'll take a look tonight or tomorrow late afternoon.

Add pci I/O bar access and use bitfields

To answer your question: > Do we / does the device author always know what kind of address a determine_mem_base call returns? Yes, but we should verify that by actually...

Huge pages support for x86

As discussed on discord, I can reproduce the error, which is caused by not using a range of pages and frames that are properly aligned to a 2MiB boundary.