Separate OSDK lint from kernel lint

.github/workflows/osdk_test.yml

@@ -23,7 +23,7 @@ jobs:
 
       - name: Lint
         id: lint
-        run: cd osdk && cargo clippy -- -D warnings
+        run: make check_osdk
 
         # The OSDK unit test features a recursive call of Cargo,
         # which will break when RUSTUP_HOME is altered in the case

Makefile

@@ -178,7 +178,6 @@ format:
 
 .PHONY: check
 check: $(CARGO_OSDK)
-	@cd osdk && cargo clippy -- -D warnings
 	@./tools/format_all.sh --check   	# Check Rust format issues
 	@# Check if STD_CRATES and NOSTD_CRATES combined is the same as all workspace members
 	@sed -n '/^\[workspace\]/,/^\[.*\]/{/members = \[/,/\]/p}' Cargo.toml | \
@@ -198,6 +197,10 @@ check: $(CARGO_OSDK)
 	done
 	@make --no-print-directory -C regression check
 
+.PHONY: check_osdk
+check_osdk:
+	@cd osdk && cargo clippy -- -D warnings
+
 .PHONY: clean
 clean:
 	@cargo clean