Kevin Boos

You're typing in the host terminal, which is what Theseus is using to print its log to (over the virtual serial port). You want to type in the graphical terminal...

Yep, it's underway. See our [project tracker](https://github.com/orgs/theseus-os/projects/2) and [this `std` tracker issue](https://github.com/theseus-os/rust/issues/12) for more details. As Theseus is a single address space and single privilege level OS without a distinct...

Sure, no problem. I should also mention that we're always looking for help on that large effort, so if anyone is interested in contributing to `std` atop Theseus, feel free...

Nope, as far as I know it's just an idea. Feel free to go for it!

Definitely! I understand the scale is intimidating. I think a good first step is to look at only the `kernel/logger` crate, which acts as a logger backend and implements the...

As i mentioned before on discord and in #967, in order to evaluate the strengths of `bilge`'s design, we should first attempt to use it in `pte_flags`. That is the...

oh true, you may need to do that. I'm not sure, part of the fun is finding out! :smiley: AFAIK, `tracing` is a drop-in replacement for `log` (based on what...

Thanks for filing this! I'm not sure why this happens, but we'll work through it together over the coming weeks.

> How can I tell whether the sending and receiving tasks are the same? Just like with regular Rust, unless you manually spawned a new task, all of your code...

Thanks for the report! We don't actually use the Docker build workflow very often, so it seems like it's been neglected for a while. The key error is that it...