Kevin Boos

Results 327 comments of Kevin Boos

> You mentioned in our discussion that you would prefer clock sources are registered upon discovery, like device drivers. The issue with that, is certain clock sources like TSC aren't...

this crate may also be of interest, though we probably don't need to use it directly https://lib.rs/crates/embedded-time

> I created an [alternative memory allocator](https://crates.io/crates/good_memory_allocator) which solves this problem and provides many more benefits, such as improved performance and memory utilization. Thanks for letting me know, i'll check...

> Thanks for reporting this! We just published a new `v0.10.4` release to fix #66, maybe this fixes your issue as well. Is there some test case that we could...

Hi @ZetaNumbers, sorry but I'm not exactly sure what you're asking here. It's been a few years since I experimented with compiler plugins, and some of my academic colleagues had...

Hi @nbro, thanks for the question! I believe the issue comes from being unable to run qemu in a docker container, though admittedly it's been awhile since I've tried to...

Oh wait, it looks like I missed the key issue. The good thing is that this doesn't have anything to do with Theseus specifically, it's about QEMU being unable to...

Closing due to issue being addressed. Feel free to re-open if still problematic.

thanks for reporting this @yingwei9! We haven't devoted a lot of time to the `shell` since it will be eventually removed in favor of a proper terminal emulator, but it'd...