fix license checker

.lcignore

@@ -30,3 +30,5 @@
 /tools/license-checker/testdata/many_errors.rs
 /tools/license-checker/testdata/no_copyright.rs
 /tools/license-checker/testdata/no_spdx.rs
+
+/flux_support/*

capsules/system/src/process_checker/signature.rs

@@ -1,9 +1,9 @@
 // Licensed under the Apache License, Version 2.0 or the MIT License.
 // SPDX-License-Identifier: Apache-2.0 OR MIT
 // Copyright Tock Contributors 2024.
+
 //! Signature credential checker for checking process credentials.
 
-use flux_rs::*;
 use kernel::hil;
 use kernel::process_checker::CheckResult;
 use kernel::process_checker::{AppCredentialsPolicy, AppCredentialsPolicyClient};

flux_support/src/flux_ptr.rs

@@ -1,4 +1,8 @@
+use core::cmp::PartialOrd;
+use core::convert::From;
 use core::ops::{Deref, DerefMut};
+use core::option::Option;
+use core::option::Option::Some;
 use core::ptr::NonNull;
 use flux_rs::{refined_by, sig};
 use std::ops::Rem;

flux_support/src/lib.rs

@@ -3,6 +3,7 @@ mod flux_ptr;
 mod flux_range;
 mod flux_register_interface;
 mod math;
+use core::panic;
 pub use flux_ptr::*;
 pub use flux_range::*;
 pub use flux_register_interface::*;