diff options
| author | Rafael Silva <[email protected]> | 2022-03-09 12:14:55 +0000 |
|---|---|---|
| committer | Rafael Silva <[email protected]> | 2022-06-02 09:35:30 +0100 |
| commit | 2a17a7e8f851c1a29d7e06ff520d15f36b7a652c (patch) | |
| tree | cc004dd15bbef0deb8a8aa0401e2756f1055cd22 /src | |
| parent | 03777f4a467c7ff7e0e764cfcf79d04235a2659d (diff) | |
rework make freertos port handling
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 <[email protected]>
Diffstat (limited to 'src')
0 files changed, 0 insertions, 0 deletions