Philipp Oppermann
Philipp Oppermann
I guess you could work around this cargo issue by running a manual `cargo build -Zbuild-std` command for your kernel from your top-level build script (instead of using an artifact...
Thanks a lot for raising these points! > It also provides online documentation for each command along with quick examples. I'm working on something like this right now. > clearer...
> A better option is making `dataflow-id` an option (i.e., a flag). Fine with me
> Commands involving communicating with a coordinator (e.g., `dora logs`, `dora list`) currently use `--coordinator-addr` and `--coordinator-port` options. This is redundant and could be simplified. > One approach is to...
Triage: What's the status of this PR? Is this still needed?
Could you give more details about the commands that you're running and your project setup? Or do you have your project online somewhere so that I can take a look?...
Thanks a lot for reporting! See . Looks like the underlying issue is in rustc: .
If you don't need the [`LockedHeap`](https://docs.rs/linked_list_allocator/0.10.4/linked_list_allocator/struct.LockedHeap.html) type, you should be able to work around this issue by disabling the default features in your dependency: ```toml [dependencies] linked_list_allocator = { version...
Thanks a lot for the PR! I reverted commits 40b971 and 3fb6a43 because we want to keep checking external links and we want to keep the Japanese translations (ignoring them...
The link check failures are unrelated to this PR. I opened https://github.com/phil-opp/blog_os/pull/1444 to fix them.