Update boards/nucleo_f446re/Makefile

alevy · Mar 21, 2024 · 8f1a214 · 8f1a214
1 parent e218c3f
commit 8f1a214
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/boards/nucleo_f446re/Makefile b/boards/nucleo_f446re/Makefile
@@ -5,7 +5,7 @@
 # Makefile for building the tock kernel for the NUCLEO-446RE platform
 #
 TARGET=thumbv7em-none-eabi
-
+PLATFORM=nucleo_f446re
 include ../Makefile.common
 
 OPENOCD=openocd

diff --git a/boards/stm32f3discovery/Makefile b/boards/stm32f3discovery/Makefile
@@ -1,4 +1,4 @@
-source [find board/stm32f412g-disco.cfg]; # Licensed under the Apache License, Version 2.0 or the MIT License.
+# Licensed under the Apache License, Version 2.0 or the MIT License.
 # SPDX-License-Identifier: Apache-2.0 OR MIT
 # Copyright Tock Contributors 2022.