1 // Copyright 2021 The Pigweed Authors 2 // 3 // Licensed under the Apache License, Version 2.0 (the "License"); you may not 4 // use this file except in compliance with the License. You may obtain a copy of 5 // the License at 6 // 7 // https://www.apache.org/licenses/LICENSE-2.0 8 // 9 // Unless required by applicable law or agreed to in writing, software 10 // distributed under the License is distributed on an "AS IS" BASIS, WITHOUT 11 // WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied. See the 12 // License for the specific language governing permissions and limitations under 13 // the License. 14 #pragma once 15 16 #include "FreeRTOS.h" 17 #include "task.h" 18 19 // The backend is expected to provide this header which defines the tskTCB 20 // strut which matches FreeRTOS's definition of a task control block which is 21 // opaquely presented via the public API as the StaticTask_t. 22 #include "pw_thread_freertos_backend/freertos_tsktcb.h" 23 24 static_assert(sizeof(tskTCB) == sizeof(StaticTask_t), 25 "The tskTCB mirror of the real task TCB doesn't match FreeRTOS"); 26