From e579ebb11b199ab04210fd8a82a3af5be6e4fdc5 Mon Sep 17 00:00:00 2001 From: Jim Mussared Date: Thu, 26 Oct 2023 17:42:10 +1100 Subject: teensy: Remove the teensy port. This port is largely unmaintained, has limited features (the only hardware support is for GPIO and timer, and no machine module), only supports a small number of Teensy boards, and can be confused with the mimxrt support for Teensy 4.x. Signed-off-by: Jim Mussared Signed-off-by: Damien George --- tools/codeformat.py | 2 -- 1 file changed, 2 deletions(-) (limited to 'tools/codeformat.py') diff --git a/tools/codeformat.py b/tools/codeformat.py index 761bde3a81..aee9894345 100755 --- a/tools/codeformat.py +++ b/tools/codeformat.py @@ -76,8 +76,6 @@ EXCLUSIONS = [ # STM32 USB dev/host code is mostly 3rd party. "ports/stm32/usbdev/**/*.[ch]", "ports/stm32/usbhost/**/*.[ch]", - # Teensy core code is 3rd party. - "ports/teensy/core/*.[ch]", # STM32 build includes generated Python code. "ports/*/build*", # not real python files -- cgit v1.2.3