Compiling typenum v1.20.1 Compiling turkos-os-exceptions v0.1.0 (/reports/os-implementation/K1690-turkfs-second-cut-work-sources/os-exceptions) Compiling cpufeatures v0.3.1 Compiling cfg-if v1.0.5 Compiling turkos-bootinfo v0.0.1 (/reports/os-implementation/K1690-turkfs-second-cut-work-sources/bootinfo) Compiling turkos-os-shell-input v0.1.0 (/reports/os-implementation/K1690-turkfs-second-cut-work-sources/os-shell-input) Compiling turkos-os-shell-foreground v0.1.0 (/reports/os-implementation/K1690-turkfs-second-cut-work-sources/os-shell-foreground) Compiling turkos-os-init-reaper v0.1.0 (/reports/os-implementation/K1690-turkfs-second-cut-work-sources/os-init-reaper) Compiling turkos-os-syscall-abi v0.1.0 (/reports/os-implementation/K1690-turkfs-second-cut-work-sources/os-syscall-abi) Compiling turkos-os-user-runtime-io v0.1.0 (/reports/os-implementation/K1690-turkfs-second-cut-work-sources/os-user-runtime-io) Compiling turkos-os-user-runtime-abi v0.1.0 (/reports/os-implementation/K1690-turkfs-second-cut-work-sources/os-user-runtime-abi) Compiling turkos-os-shell-echo v0.1.0 (/reports/os-implementation/K1690-turkfs-second-cut-work-sources/os-shell-echo) Compiling hybrid-array v0.4.15 Compiling crypto-common v0.2.2 Compiling block-buffer v0.12.1 Compiling digest v0.11.3 Compiling sha2 v0.11.0 Compiling turkos-kernel v0.0.1 (/reports/os-implementation/K1690-turkfs-second-cut-work-sources/kernel) error[E0308]: mismatched types --> src/k1690-turkfs-second-cut.rs:35:80 | 35 | write_str("TURKOS/OS/K1690-REPLAY: APPLIED WRITES=");write_hex(u64::from(writes));write_str("\r\n"); | --------- ^^^^^^^^^^^^^^^^^ expected `usize`, found `u64` | | | arguments to this function are incorrect | note: function defined here --> src/main.rs:5462:4 | 5462 | fn write_hex(value: usize) { | ^^^^^^^^^ ------------ For more information about this error, try `rustc --explain E0308`. error: could not compile `turkos-kernel` (bin "turkos-kernel") due to 1 previous error