diff options
Diffstat (limited to 'task.c')
| -rw-r--r-- | task.c | 20 |
1 files changed, 17 insertions, 3 deletions
@@ -4,6 +4,8 @@ * Simple cooperative tasking system. * * Copyright (c) 2017, NORDUnet A/S All rights reserved. + * Copyright: 2020, The Commons Conservancy Cryptech Project + * SPDX-License-Identifier: BSD-3-Clause * * Redistribution and use in source and binary forms, with or without * modification, are permitted provided that the following conditions are @@ -15,9 +17,9 @@ * notice, this list of conditions and the following disclaimer in the * documentation and/or other materials provided with the distribution. * - * - Neither the name of the NORDUnet nor the names of its contributors may - * be used to endorse or promote products derived from this software - * without specific prior written permission. + * - Neither the name of the copyright holder nor the names of its + * contributors may be used to endorse or promote products derived from + * this software without specific prior written permission. * * THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS "AS * IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED @@ -39,6 +41,18 @@ * tasks deleted. */ +/* Ignore "deprecated" warnings in ARM-supplied CMSIS code: + * + * libraries/mbed/targets/cmsis/core_cm4.h:85:28: warning: listing the stack pointer register 'sp' in a clobber list is deprecated + * libraries/mbed/targets/cmsis/core_cm4.h:85:28: note: the value of the stack pointer after an 'asm' statement must be the same as it was before the statement + * + * This comes from our use of __set_MSP to set the stack pointer when + * switching tasks. If GCC ever decides to actually forbid this, then + * we'll have to figure out something else, possibly a native assembly + * function. + */ +#pragma GCC diagnostic ignored "-Wdeprecated" + #include "stm-init.h" #include "task.h" |