 2a17a7e8f8
			
		
	
	2a17a7e8f8
	
	
	
		
			
			this allows ports to specify a freertos port outside the FreeRTOS-Kernel lib directory, which would otherwise not be possible Signed-off-by: Rafael Silva <rafaelsilva@ajtec.pt>
 2a17a7e8f8
			
		
	
	2a17a7e8f8
	
	
	
		
			
			this allows ports to specify a freertos port outside the FreeRTOS-Kernel lib directory, which would otherwise not be possible Signed-off-by: Rafael Silva <rafaelsilva@ajtec.pt>