license and end of file newline fixes

Author: kilograham

portable/ThirdParty/GCC/RP2040/idle_task_static_memory.c

@@ -3,6 +3,8 @@
  * Copyright (C) 2021 Amazon.com, Inc. or its affiliates. All Rights Reserved.
  * Copyright (c) 2021 Raspberry Pi (Trading) Ltd.
  *
+ * SPDX-License-Identifier: MIT AND BSD-3-Clause
+ *
  * Permission is hereby granted, free of charge, to any person obtaining a copy of
  * this software and associated documentation files (the "Software"), to deal in
  * the Software without restriction, including without limitation the rights to
@@ -24,12 +26,6 @@
  * https://github.com/FreeRTOS
  */
 
-/*
- * Copyright (c) 2021 Raspberry Pi (Trading) Ltd.
- *
- * SPDX-License-Identifier: BSD-3-Clause
- */
-
 #include "FreeRTOS.h"
 
 void vApplicationGetIdleTaskMemory( StaticTask_t **ppxIdleTaskTCBBuffer,

portable/ThirdParty/GCC/RP2040/include/freertos_sdk_config.h

@@ -1,6 +1,9 @@
 /*
  * FreeRTOS Kernel V10.4.3
  * Copyright (C) 2020 Amazon.com, Inc. or its affiliates.  All Rights Reserved.
+ * Copyright (c) 2021 Raspberry Pi (Trading) Ltd.
+ *
+ * SPDX-License-Identifier: BSD-3-Clause
  *
  * Permission is hereby granted, free of charge, to any person obtaining a copy of
  * this software and associated documentation files (the "Software"), to deal in
@@ -23,12 +26,6 @@
  * https://github.com/FreeRTOS
  */
 
-/*
- * Copyright (c) 2021 Raspberry Pi (Trading) Ltd.
- *
- * SPDX-License-Identifier: BSD-3-Clause
- */
-
 #ifndef FREERTOS_SDK_CONFIG_H
 #define FREERTOS_SDK_CONFIG_H
 

portable/ThirdParty/GCC/RP2040/include/portmacro.h

@@ -1,6 +1,9 @@
 /*
  * FreeRTOS Kernel V10.4.3
  * Copyright (C) 2020 Amazon.com, Inc. or its affiliates.  All Rights Reserved.
+ * Copyright (c) 2021 Raspberry Pi (Trading) Ltd.
+ *
+ * SPDX-License-Identifier: MIT AND BSD-3-Clause
  *
  * Permission is hereby granted, free of charge, to any person obtaining a copy of
  * this software and associated documentation files (the "Software"), to deal in
@@ -24,12 +27,6 @@
  *
  */
 
-/*
- * Copyright (c) 2021 Raspberry Pi (Trading) Ltd.
- *
- * SPDX-License-Identifier: BSD-3-Clause
- */
-
 #ifndef PORTMACRO_H
     #define PORTMACRO_H
 

portable/ThirdParty/GCC/RP2040/include/rp2040_config.h

@@ -1,6 +1,9 @@
 /*
  * FreeRTOS Kernel V10.4.3
  * Copyright (C) 2020 Amazon.com, Inc. or its affiliates.  All Rights Reserved.
+ * Copyright (c) 2021 Raspberry Pi (Trading) Ltd.
+ *
+ * SPDX-License-Identifier: MIT AND BSD-3-Clause
  *
  * Permission is hereby granted, free of charge, to any person obtaining a copy of
  * this software and associated documentation files (the "Software"), to deal in
@@ -23,12 +26,6 @@
  * https://github.com/FreeRTOS
  */
 
-/*
- * Copyright (c) 2021 Raspberry Pi (Trading) Ltd.
- *
- * SPDX-License-Identifier: BSD-3-Clause
- */
-
 #ifndef RP2040_CONFIG_H
 #define RP2040_CONFIG_H
 
@@ -70,4 +67,4 @@ extern "C" {
 };
 #endif
 
-#endif
+#endif

portable/ThirdParty/GCC/RP2040/library.cmake

@@ -1,13 +1,8 @@
-# Called after the Raspberry Pi Pico SDK has been initialized to add our libraries
-
-add_library(FreeRTOS-Kernel_included INTERFACE)
-target_compile_definitions(FreeRTOS-Kernel_included INTERFACE
-        -DFREERTOS_KERNEL=1
-        # todo don't know if we need this; maybe just want to explicitly disable things
-        -DPICO_RTOS=1 # let SDK know that RTOS is in use
-        )
+# Copyright (c) 2020 Raspberry Pi (Trading) Ltd.
+#
+# SPDX-License-Identifier: BSD-3-Clause
 
-pico_add_platform_library(FreeRTOS-Kernel_included)
+# Called after the Raspberry Pi Pico SDK has been initialized to add our libraries
 
 add_library(FreeRTOS-Kernel-Core INTERFACE)
 target_sources(FreeRTOS-Kernel-Core INTERFACE
@@ -36,13 +31,14 @@ target_link_libraries(FreeRTOS-Kernel INTERFACE
 
 target_compile_definitions(FreeRTOS-Kernel INTERFACE
         LIB_FREERTOS_KERNEL=1
-        FREE_RTOS_KERNEL_SMP=0
+        FREERTOS_KERNEL_SMP=0
 )
 
 add_library(FreeRTOS-Kernel-Static INTERFACE)
 target_compile_definitions(FreeRTOS-Kernel-Static INTERFACE
         configSUPPORT_STATIC_ALLOCATION=1
         )
+
 target_sources(FreeRTOS-Kernel-Static INTERFACE ${CMAKE_CURRENT_LIST_DIR}/idle_task_static_memory.c)
 target_link_libraries(FreeRTOS-Kernel-Static INTERFACE FreeRTOS-Kernel)
 

portable/ThirdParty/GCC/RP2040/pico_sdk_import.cmake

@@ -1,3 +1,7 @@
+# Copyright (c) 2020 Raspberry Pi (Trading) Ltd.
+#
+# SPDX-License-Identifier: BSD-3-Clause
+
 # This is a copy of <PICO_SDK_PATH>/external/pico_sdk_import.cmake
 
 # This can be dropped into an external project to help locate this SDK

portable/ThirdParty/GCC/RP2040/port.c

@@ -1,6 +1,9 @@
 /*
  * FreeRTOS Kernel V10.4.3
  * Copyright (C) 2020 Amazon.com, Inc. or its affiliates.  All Rights Reserved.
+ * Copyright (c) 2021 Raspberry Pi (Trading) Ltd.
+ *
+ * SPDX-License-Identifier: MIT AND BSD-3-Clause
  *
  * Permission is hereby granted, free of charge, to any person obtaining a copy of
  * this software and associated documentation files (the "Software"), to deal in
@@ -24,12 +27,6 @@
  *
  */
 
-/*
- * Copyright (c) 2021 Raspberry Pi (Trading) Ltd.
- *
- * SPDX-License-Identifier: BSD-3-Clause
- */
-
 /*----------------------------------------------------------------------
 * Implementation of functions defined in portable.h for the RP2040 port.
 *----------------------------------------------------------------------*/
@@ -876,4 +873,4 @@ __attribute__( ( weak ) ) void vPortSetupTimerInterrupt( void )
             vTaskDelay(uxTicksToWait);
         }
     }
-#endif /* configSUPPORT_PICO_TIME_INTEROP */
+#endif /* configSUPPORT_PICO_TIME_INTEROP */