Brad Campbell

Results 658 comments of Brad Campbell

Boards need the option to be able to disable version checking, but they do not need to be able to dynamically choose whether to check versions or not (say to...

> Perhaps instead of the proposed change to the getter, we can provide a more explicit note of this in the documentation comment for the function used to obtain the...

Does the term direct come from Thread? I think "raw" would be a more common term for ignoring the kernel 15.4 stack.

I opened https://github.com/tock/tock/pull/3842 to help track this. I think we need to finish up #3824 first to take care of those. In general all of the statics in boards/ we...

We definitely need to do something about these (otherwise we cannot update nightly). We would like to keep track of where these warnings are happening and see if we can...

I rebased #3842 after merging https://github.com/tock/tock/pull/3824, and, uh, we are no where close to being able to update the nightly.

One _workaround_ are diffs that look like: ```diff diff --git a/kernel/src/deferred_call.rs b/kernel/src/deferred_call.rs index cdac8330d..e21137ab8 100644 --- a/kernel/src/deferred_call.rs +++ b/kernel/src/deferred_call.rs @@ -142,7 +142,7 @@ impl DeferredCall { pub fn new() ->...

Plan is to look into some sort of *Cell approach, or something principled. However, if there is not a solution in place by April 1, 2024, we'll move forward with...