Update Kernel Pointer. (#779)

* Update Kernel Pointer. * Update manifest.yml.
3 years ago · fea193d03c
parent 89515cfb53
commit fea193d03c
2 changed files with 2 additions and 2 deletions
--- a/FreeRTOS/Source
+++ b/FreeRTOS/Source
@ -1 +1 @@
-Subproject commit c4f9e27c28c018c85b9d23e5ac7470ada508bdb8
+Subproject commit 9efca75d1ebfc6c02f9e004c199dffa327267a09
--- a/manifest.yml
+++ b/manifest.yml
@ -4,7 +4,7 @@ description: "This is the standard distribution of FreeRTOS."

 dependencies:
  - name: "FreeRTOS-Kernel"
-    version: "c4f9e27c2"
+    version: "9efca75d1"
    repository:
      type: "git"
      url: "https://github.com/FreeRTOS/FreeRTOS-Kernel.git"