text: /*
   * FreeRTOS V202107.00
   * Copyright (C) 2020 Amazon.com, Inc. or its affiliates.  All Rights Reserved.
   *
   * 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
   * use, copy, modify, merge, publish, distribute, sublicense, and/or sell copies of
   * the Software, and to permit persons to whom the Software is furnished to do so,
   * subject to the following conditions:
   *
   * The above copyright notice and this permission notice shall be included in all
   * copies or substantial portions of the Software.
   *
   * THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
   * IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY, FITNESS
   * FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE AUTHORS OR
   * COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER LIABILITY, WHETHER
   * IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM, OUT OF OR IN
   * CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE SOFTWARE.
   *
   * http://www.FreeRTOS.org
   * http://aws.amazon.com/freertos
   *
   * 1 tab == 4 spaces!
   */
  /* Scheduler includes. */
  #include "FreeRTOS.h"
  #include "task.h"
  
  /* BSP includes. */
  #include "board.h"
  #include "pin_mux.h"
  
  /* Demo includes. */
  #include "mpu_demo.h"
  
  /**
   * @brief Performs board specific initialization.
   */
  static void prvInitHardware( void );
  /*-----------------------------------------------------------*/
  
  static void prvInitHardware( void )
  {
  	/* Attach 12 MHz clock to FLEXCOMM0 (debug console). */
  	CLOCK_AttachClk(BOARD_DEBUG_UART_CLK_ATTACH);
  
  	BOARD_InitPins();
  	BOARD_BootClockPLL180M();
  	BOARD_InitDebugConsole();
  }
  /*-----------------------------------------------------------*/
  
  int main( void )
  {
  	/* Initialize hardware. */
  	prvInitHardware();
  
  	/* Start the MPU demo. */
  	vStartMPUDemo();
  
  	/* Start the scheduler. */
  	vTaskStartScheduler();
  
  	/* Should not get here. */
  	for( ;; );
  }
  /*-----------------------------------------------------------*/
  
  void vApplicationStackOverflowHook( TaskHandle_t pxTask, char *pcTaskName )
  {
  	/* If configCHECK_FOR_STACK_OVERFLOW is set to either 1 or 2 then this
  	function will automatically get called if a task overflows its stack. */
  	( void ) pxTask;
  	( void ) pcTaskName;
  	for( ;; );
  }
  /*-----------------------------------------------------------*/
  
  void vApplicationMallocFailedHook( void )
  {
  	/* If configUSE_MALLOC_FAILED_HOOK is set to 1 then this function will
  	be called automatically if a call to pvPortMalloc() fails.  pvPortMalloc()
  	is called automatically when a task, queue or semaphore is created. */
  	for( ;; );
  }
  /*-----------------------------------------------------------*/
  
  /* configUSE_STATIC_ALLOCATION is set to 1, so the application must provide an
  implementation of vApplicationGetIdleTaskMemory() to provide the memory that is
  used by the Idle task. */
  void vApplicationGetIdleTaskMemory( StaticTask_t **ppxIdleTaskTCBBuffer, StackType_t **ppxIdleTaskStackBuffer, uint32_t *pulIdleTaskStackSize )
  {
  /* If the buffers to be provided to the Idle task are declared inside this
  function then they must be declared static - otherwise they will be allocated on
  the stack and so not exists after this function exits. */
  static StaticTask_t xIdleTaskTCB;
  static StackType_t uxIdleTaskStack[ configMINIMAL_STACK_SIZE ];
  
  	/* Pass out a pointer to the StaticTask_t structure in which the Idle task's
  	state will be stored. */
  	*ppxIdleTaskTCBBuffer = &xIdleTaskTCB;
  
  	/* Pass out the array that will be used as the Idle task's stack. */
  	*ppxIdleTaskStackBuffer = uxIdleTaskStack;
  
  	/* Pass out the size of the array pointed to by *ppxIdleTaskStackBuffer.
  	Note that, as the array is necessarily of type StackType_t,
  	configMINIMAL_STACK_SIZE is specified in words, not bytes. */
  	*pulIdleTaskStackSize = configMINIMAL_STACK_SIZE;
  }
  /*-----------------------------------------------------------*/
  
  /* configUSE_STATIC_ALLOCATION and configUSE_TIMERS are both set to 1, so the
  application must provide an implementation of vApplicationGetTimerTaskMemory()
  to provide the memory that is used by the Timer service task. */
  void vApplicationGetTimerTaskMemory( StaticTask_t **ppxTimerTaskTCBBuffer, StackType_t **ppxTimerTaskStackBuffer, uint32_t *pulTimerTaskStackSize )
  {
  /* If the buffers to be provided to the Timer task are declared inside this
  function then they must be declared static - otherwise they will be allocated on
  the stack and so not exists after this function exits. */
  static StaticTask_t xTimerTaskTCB;
  static StackType_t uxTimerTaskStack[ configTIMER_TASK_STACK_DEPTH ];
  
  	/* Pass out a pointer to the StaticTask_t structure in which the Timer
  	task's state will be stored. */
  	*ppxTimerTaskTCBBuffer = &xTimerTaskTCB;
  
  	/* Pass out the array that will be used as the Timer task's stack. */
  	*ppxTimerTaskStackBuffer = uxTimerTaskStack;
  
  	/* Pass out the size of the array pointed to by *ppxTimerTaskStackBuffer.
  	Note that, as the array is necessarily of type StackType_t,
  	configMINIMAL_STACK_SIZE is specified in words, not bytes. */
  	*pulTimerTaskStackSize = configTIMER_TASK_STACK_DEPTH;
  }
  /*-----------------------------------------------------------*/
  