/*\r
- FreeRTOS V8.2.3 - Copyright (C) 2015 Real Time Engineers Ltd.\r
- All rights reserved\r
-\r
- VISIT http://www.FreeRTOS.org TO ENSURE YOU ARE USING THE LATEST VERSION.\r
-\r
- This file is part of the FreeRTOS distribution.\r
-\r
- FreeRTOS is free software; you can redistribute it and/or modify it under\r
- the terms of the GNU General Public License (version 2) as published by the\r
- Free Software Foundation >>>> AND MODIFIED BY <<<< the FreeRTOS exception.\r
-\r
- ***************************************************************************\r
- >>! NOTE: The modification to the GPL is included to allow you to !<<\r
- >>! distribute a combined work that includes FreeRTOS without being !<<\r
- >>! obliged to provide the source code for proprietary components !<<\r
- >>! outside of the FreeRTOS kernel. !<<\r
- ***************************************************************************\r
-\r
- FreeRTOS is distributed in the hope that it will be useful, but WITHOUT ANY\r
- WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS\r
- FOR A PARTICULAR PURPOSE. Full license text is available on the following\r
- link: http://www.freertos.org/a00114.html\r
-\r
- ***************************************************************************\r
- * *\r
- * FreeRTOS provides completely free yet professionally developed, *\r
- * robust, strictly quality controlled, supported, and cross *\r
- * platform software that is more than just the market leader, it *\r
- * is the industry's de facto standard. *\r
- * *\r
- * Help yourself get started quickly while simultaneously helping *\r
- * to support the FreeRTOS project by purchasing a FreeRTOS *\r
- * tutorial book, reference manual, or both: *\r
- * http://www.FreeRTOS.org/Documentation *\r
- * *\r
- ***************************************************************************\r
-\r
- http://www.FreeRTOS.org/FAQHelp.html - Having a problem? Start by reading\r
- the FAQ page "My application does not run, what could be wrong?". Have you\r
- defined configASSERT()?\r
-\r
- http://www.FreeRTOS.org/support - In return for receiving this top quality\r
- embedded software for free we request you assist our global community by\r
- participating in the support forum.\r
-\r
- http://www.FreeRTOS.org/training - Investing in training allows your team to\r
- be as productive as possible as early as possible. Now you can receive\r
- FreeRTOS training directly from Richard Barry, CEO of Real Time Engineers\r
- Ltd, and the world's leading authority on the world's leading RTOS.\r
-\r
- http://www.FreeRTOS.org/plus - A selection of FreeRTOS ecosystem products,\r
- including FreeRTOS+Trace - an indispensable productivity tool, a DOS\r
- compatible FAT file system, and our tiny thread aware UDP/IP stack.\r
-\r
- http://www.FreeRTOS.org/labs - Where new FreeRTOS products go to incubate.\r
- Come and try FreeRTOS+TCP, our new open source TCP/IP stack for FreeRTOS.\r
-\r
- http://www.OpenRTOS.com - Real Time Engineers ltd. license FreeRTOS to High\r
- Integrity Systems ltd. to sell under the OpenRTOS brand. Low cost OpenRTOS\r
- licenses offer ticketed support, indemnification and commercial middleware.\r
-\r
- http://www.SafeRTOS.com - High Integrity Systems also provide a safety\r
- engineered and independently SIL3 certified version for use in safety and\r
- mission critical applications that require provable dependability.\r
-\r
- 1 tab == 4 spaces!\r
-*/\r
+ * FreeRTOS Kernel V10.3.0\r
+ * Copyright (C) 2020 Amazon.com, Inc. or its affiliates. All Rights Reserved.\r
+ *\r
+ * Permission is hereby granted, free of charge, to any person obtaining a copy of\r
+ * this software and associated documentation files (the "Software"), to deal in\r
+ * the Software without restriction, including without limitation the rights to\r
+ * use, copy, modify, merge, publish, distribute, sublicense, and/or sell copies of\r
+ * the Software, and to permit persons to whom the Software is furnished to do so,\r
+ * subject to the following conditions:\r
+ *\r
+ * The above copyright notice and this permission notice shall be included in all\r
+ * copies or substantial portions of the Software.\r
+ *\r
+ * THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR\r
+ * IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY, FITNESS\r
+ * FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE AUTHORS OR\r
+ * COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER LIABILITY, WHETHER\r
+ * IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM, OUT OF OR IN\r
+ * CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE SOFTWARE.\r
+ *\r
+ * http://www.FreeRTOS.org\r
+ * http://aws.amazon.com/freertos\r
+ *\r
+ * 1 tab == 4 spaces!\r
+ */\r
\r
/* Standard includes. */\r
#include <stdlib.h>\r
#define portNO_FLOATING_POINT_CONTEXT ( ( StackType_t ) 0 )\r
\r
/* Constants required to setup the initial task context. */\r
-#define portEL3 ( ( StackType_t ) 0x0c )\r
#define portSP_ELx ( ( StackType_t ) 0x01 )\r
#define portSP_EL0 ( ( StackType_t ) 0x00 )\r
\r
-/* At the time of writing, the BSP only supports EL3. */\r
-#define portINITIAL_PSTATE ( portEL3 | portSP_EL0 )\r
+#if defined( GUEST )\r
+ #define portEL1 ( ( StackType_t ) 0x04 )\r
+ #define portINITIAL_PSTATE ( portEL1 | portSP_EL0 )\r
+#else\r
+ #define portEL3 ( ( StackType_t ) 0x0c )\r
+ /* At the time of writing, the BSP only supports EL3. */\r
+ #define portINITIAL_PSTATE ( portEL3 | portSP_EL0 )\r
+#endif\r
+\r
\r
/* Used by portASSERT_IF_INTERRUPT_PRIORITY_INVALID() when ensuring the binary\r
point is zero. */\r
\r
/* Sanity check configUNIQUE_INTERRUPT_PRIORITIES matches the read\r
value. */\r
- configASSERT( ucMaxPriorityValue == portLOWEST_INTERRUPT_PRIORITY );\r
+\r
+ configASSERT( ucMaxPriorityValue >= portLOWEST_INTERRUPT_PRIORITY );\r
+\r
\r
/* Restore the clobbered interrupt priority register to its original\r
value. */\r
/* At the time of writing, the BSP only supports EL3. */\r
__asm volatile ( "MRS %0, CurrentEL" : "=r" ( ulAPSR ) );\r
ulAPSR &= portAPSR_MODE_BITS_MASK;\r
- configASSERT( ulAPSR == portEL3 );\r
\r
+#if defined( GUEST )\r
+ #warning Building for execution as a guest under XEN. THIS IS NOT A FULLY TESTED PATH.\r
+ configASSERT( ulAPSR == portEL1 );\r
+ if( ulAPSR == portEL1 )\r
+#else\r
+ configASSERT( ulAPSR == portEL3 );\r
if( ulAPSR == portEL3 )\r
+#endif\r
{\r
/* Only continue if the binary point value is set to its lowest possible\r
setting. See the comments in vPortValidateInterruptPriority() below for\r
void FreeRTOS_Tick_Handler( void )\r
{\r
/* Must be the lowest possible priority. */\r
- configASSERT( portICCRPR_RUNNING_PRIORITY_REGISTER == ( uint32_t ) ( portLOWEST_USABLE_INTERRUPT_PRIORITY << portPRIORITY_SHIFT ) );\r
+ #if !defined( QEMU )\r
+ {\r
+ configASSERT( portICCRPR_RUNNING_PRIORITY_REGISTER == ( uint32_t ) ( portLOWEST_USABLE_INTERRUPT_PRIORITY << portPRIORITY_SHIFT ) );\r
+ }\r
+ #endif\r
\r
/* Interrupts should not be enabled before this point. */\r
#if( configASSERT_DEFINED == 1 )\r
{\r
uint32_t ulMaskBits;\r
\r
- __asm volatile( "mrs %0, daif" : "=r"( ulMaskBits ) );\r
+ __asm volatile( "mrs %0, daif" : "=r"( ulMaskBits ) :: "memory" );\r
configASSERT( ( ulMaskBits & portDAIF_I ) != 0 );\r
}\r
#endif /* configASSERT_DEFINED */\r
updated. */\r
portICCPMR_PRIORITY_MASK_REGISTER = ( uint32_t ) ( configMAX_API_CALL_INTERRUPT_PRIORITY << portPRIORITY_SHIFT );\r
__asm volatile ( "dsb sy \n"\r
- "isb sy \n" );\r
+ "isb sy \n" ::: "memory" );\r
\r
/* Ok to enable interrupts after the interrupt source has been cleared. */\r
configCLEAR_TICK_INTERRUPT();\r
ulReturn = pdFALSE;\r
portICCPMR_PRIORITY_MASK_REGISTER = ( uint32_t ) ( configMAX_API_CALL_INTERRUPT_PRIORITY << portPRIORITY_SHIFT );\r
__asm volatile ( "dsb sy \n"\r
- "isb sy \n" );\r
+ "isb sy \n" ::: "memory" );\r
}\r
portENABLE_INTERRUPTS();\r
\r