Kernel: Simple Process scheduling is working! #290
Annotations
11 warnings
|
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
|
|
Run cargo run -- build:
user/dummy/src/main.rs#L40
variant `Bar` is never constructed
|
|
Run cargo run -- build:
user/dummy/src/main.rs#L46
fields `a`, `b`, and `c` are never read
|
|
Run cargo run -- build:
kernel/src/gdt.rs#L87
function `set_tss_for_interrupt` is never used
|
|
Run cargo run -- build:
kernel/src/process.rs#L58
field `cpu_time` is never read
|
|
Run cargo run -- build:
kernel/src/process.rs#L65
field `0` is never read
|
|
Run cargo run -- build:
kernel/src/process.rs#L67
field `0` is never read
|
|
Run cargo run -- build:
kernel/src/process.rs#L69
field `0` is never read
|
|
Run cargo run -- build:
kernel/src/process.rs#L74
field `0` is never read
|
|
Run cargo run -- build:
kernel/src/process.rs#L81
field `0` is never read
|
|
Run cargo run -- build:
kernel/src/process.rs#L83
field `0` is never read
|
Loading