* move f3-1 to f4, remove f3 * remove f2 * remove firmware F3 for pipeline * remove patch for F4 makefile * fix fw makefile * migrate bootloader to f4
		
			
				
	
	
		
			21 lines
		
	
	
		
			588 B
		
	
	
	
		
			C
		
	
	
	
	
	
			
		
		
	
	
			21 lines
		
	
	
		
			588 B
		
	
	
	
		
			C
		
	
	
	
	
	
 | 
						|
/*
 | 
						|
 * Since at least FreeRTOS V7.5.3 uxTopUsedPriority is no longer
 | 
						|
 * present in the kernel, so it has to be supplied by other means for
 | 
						|
 * OpenOCD's threads awareness.
 | 
						|
 *
 | 
						|
 * Add this file to your project, and, if you're using --gc-sections,
 | 
						|
 * ``--undefined=uxTopUsedPriority'' (or
 | 
						|
 * ``-Wl,--undefined=uxTopUsedPriority'' when using gcc for final
 | 
						|
 * linking) to your LDFLAGS; same with all the other symbols you need.
 | 
						|
 */
 | 
						|
 | 
						|
#include "FreeRTOS.h"
 | 
						|
 | 
						|
#ifdef __GNUC__
 | 
						|
#define USED __attribute__((used))
 | 
						|
#else
 | 
						|
#define USED
 | 
						|
#endif
 | 
						|
 | 
						|
const int USED uxTopUsedPriority = configMAX_PRIORITIES - 1; |