From 5830a93b839f455bd6c0c72b0ff5bd6a9cd05f0b Mon Sep 17 00:00:00 2001
From: Samir Rashid <Samir-Rashid@godsped.com>
Date: Mon, 30 Sep 2024 22:42:26 -0700
Subject: [PATCH] fix license checker

---
 .lcignore                                        | 2 ++
 capsules/system/src/process_checker/signature.rs | 2 +-
 flux_support/src/flux_ptr.rs                     | 4 ++++
 flux_support/src/lib.rs                          | 1 +
 4 files changed, 8 insertions(+), 1 deletion(-)

diff --git a/.lcignore b/.lcignore
index 14c91de026..d49906b495 100644
--- a/.lcignore
+++ b/.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/*
diff --git a/capsules/system/src/process_checker/signature.rs b/capsules/system/src/process_checker/signature.rs
index c03cc92ce4..d8f4d552cd 100644
--- a/capsules/system/src/process_checker/signature.rs
+++ b/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};
diff --git a/flux_support/src/flux_ptr.rs b/flux_support/src/flux_ptr.rs
index 84a16b8c04..7d622569ae 100644
--- a/flux_support/src/flux_ptr.rs
+++ b/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;
diff --git a/flux_support/src/lib.rs b/flux_support/src/lib.rs
index b4ac0889f9..afa2422a60 100644
--- a/flux_support/src/lib.rs
+++ b/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::*;