Help with diagnosing make test failure

[potto216]

I'm trying to develop unit tests for udp code. When I run make test in my forked repo all the unit tests run without problems. But when I checkout my udp branch and run make test I get the following error:

(tockos) user@TockOS:~/tockos/libtock-rs$ make test
LIBTOCK_PLATFORM=nrf52 cargo build --examples --release \
        --target=thumbv7em-none-eabi
   Compiling libtock_udp v0.1.0 (/home/user/tockos/libtock-rs/apis/udp)
   Compiling libtock v0.1.0 (/home/user/tockos/libtock-rs)
    Finished release [optimized + debuginfo] target(s) in 2.43s
LIBTOCK_PLATFORM=opentitan cargo build --examples --release \
        --target=riscv32imc-unknown-none-elf
   Compiling libtock_udp v0.1.0 (/home/user/tockos/libtock-rs/apis/udp)
   Compiling libtock v0.1.0 (/home/user/tockos/libtock-rs)
    Finished release [optimized + debuginfo] target(s) in 2.24s
CARGO_TARGET_DIR="target/stable-toolchain" cargo +stable check --workspace \
        --exclude libtock --exclude libtock_runtime --exclude libtock_debug_panic --exclude libtock_small_panic
    Checking kernel v0.1.0 (/home/user/tockos/libtock-rs/tock/kernel)
error[E0554]: `#![feature]` may not be used on the stable release channel
  --> tock/kernel/src/lib.rs:88:12
   |
88 | #![feature(core_intrinsics)]
   |            ^^^^^^^^^^^^^^^

For more information about this error, try `rustc --explain E0554`.
error: could not compile `kernel` due to previous error
make: *** [Makefile:111: test-stable] Error 101

I have diffed my branch with master
diff_between_my_udp_branch_and_master.txt
](url) but nothing stands out to me as the problem. Any suggestions on what could be causing this? Thanks!

[hudson-ayers]

IIRC, your UDP branch depends on Tock kernel crates. So building it builds the Tock kernel. But make test in libtock-rs uses a stable compiler, and the Tock kernel uses nightly features that cannot be built with a stable compiler

[potto216]

Thanks so much! I see because I want to use some of the capsule's data structures such as capsules::net::ipv6::ip_utils::IPAddr that forces a build of the kernel which causes a conflict since the kernel wants a nightly while libtock-rs uses stable in its MakeFile.

I made sure all the capsule data structures were commented out and also removed capsules = { path = "../../tock/capsules" } from
apis/udp/Cargo.toml which apparently triggers a kernel build even if all the kernel data structure references are removed. After doing that make test worked.

[hudson-ayers]

Yeah, I suspect you're ultimately going to find it's easier to just vendor in the UDP files you need to your libtock-rs fork