]> begriffs open source - freertos/tree
Add definition of portDONT_DISCARD to ARMv7-M ports (#50)
drwxr-xr-x - .github
-rw-r--r-- 4754 CONTRIBUTING.md
-rw-r--r-- 149 GitHub-FreeRTOS-Kernel-Home.url
-rw-r--r-- 138176 History.txt
-rw-r--r-- 1036 LICENSE.md
-rw-r--r-- 144 Quick_Start_Guide.url
-rw-r--r-- 2021 README.md
-rw-r--r-- 328 SECURITY.md
-rw-r--r-- 13427 croutine.c
-rw-r--r-- 26791 event_groups.c
drwxr-xr-x - include
-rw-r--r-- 8475 list.c
drwxr-xr-x - portable
-rw-r--r-- 96601 queue.c
-rw-r--r-- 43728 stream_buffer.c
-rw-r--r-- 178556 tasks.c
-rw-r--r-- 41215 timers.c