summaryrefslogtreecommitdiffstats
path: root/platforms/chibios/drivers/vendor/RP/RP2040/ps2_vendor.c
diff options
context:
space:
mode:
Diffstat (limited to 'platforms/chibios/drivers/vendor/RP/RP2040/ps2_vendor.c')
-rw-r--r--platforms/chibios/drivers/vendor/RP/RP2040/ps2_vendor.c4
1 files changed, 1 insertions, 3 deletions
diff --git a/platforms/chibios/drivers/vendor/RP/RP2040/ps2_vendor.c b/platforms/chibios/drivers/vendor/RP/RP2040/ps2_vendor.c
index 937fa5de6f..d775ec29d5 100644
--- a/platforms/chibios/drivers/vendor/RP/RP2040/ps2_vendor.c
+++ b/platforms/chibios/drivers/vendor/RP/RP2040/ps2_vendor.c
@@ -1,12 +1,10 @@
// Copyright 2022 Marek Kraus (@gamelaster)
// SPDX-License-Identifier: GPL-2.0-or-later
-#include "quantum.h"
-
#include "hardware/pio.h"
#include "hardware/clocks.h"
#include "ps2.h"
-#include "print.h"
+#include "debug.h"
#if !defined(MCU_RP)
# error PIO Driver is only available for Raspberry Pi 2040 MCUs!