diff options
Diffstat (limited to 'platforms/chibios/vendors/RP/pico_sdk_shims.c')
-rw-r--r-- | platforms/chibios/vendors/RP/pico_sdk_shims.c | 14 |
1 files changed, 0 insertions, 14 deletions
diff --git a/platforms/chibios/vendors/RP/pico_sdk_shims.c b/platforms/chibios/vendors/RP/pico_sdk_shims.c deleted file mode 100644 index caab400531..0000000000 --- a/platforms/chibios/vendors/RP/pico_sdk_shims.c +++ /dev/null @@ -1,14 +0,0 @@ -// Copyright 2022 Stefan Kerkmann -// SPDX-License-Identifier: GPL-2.0-or-later - -#include <stdbool.h> - -extern void chSysHalt(const char *reason) __attribute__((noreturn)); - -void panic(const char *fmt, ...) { - chSysHalt(fmt); -} - -void hard_assertion_failure(void) { - panic("hard assert"); -} |