Brad Campbell

This is (obviously) an issue. I'm guessing this stems from changes in how elf2tab decides on how much memory to tell the kernel the app needs. There might be backwards...

> However, it feels a little strange to stuff deferred call initialization in there. Maybe there should be a kernel init function in addition to the chip init function? Yeah,...

> Oh dear, the flux specs seem to break `rustfmt`, which throws internal errors. I'd really hoped for this to be a clean PR, but I can't fix this right...

I see this when running `make ci-job-flux`. ``` ******************************************************************************** * CI-Job: Flux * ******************************************************************************** source tools/ci/flux-ci-runner/deps.sh check && cargo flux Compiling tock_build_scripts v0.2.3-dev (/Users/bradjc/git/tock/boards/build_scripts) Checking tock-registers v0.10.0 (/Users/bradjc/git/tock/libraries/tock-register-interface) Checking tock-tbf...

I would like to see what this looks like with #4605 merged first.

I think it's pretty clear this is experimental. I think we need to decide what the expectations are. Who is responsible for fixing any issues that come up? Is the...

> > How do I know it did anything? > > ` Finished`flux` profile [optimized + debuginfo] target(s) in 0.22s` is the relevant line that indicates that flux succeeded in...

> I don't really have a solution, other than to ask whether folks are willing to accept some lockfile "bloat" as part of testing out verification? I think it's fine...

I think this comment is the last thing I would like to see https://github.com/tock/tock/pull/4585#issuecomment-3366137154

# update 2025-11-17: this test may be invalid, flux never turned on I compiled the nrf5284dk board with and without flux and got the same bin hashes: ``` ❯ echo...