Add FreeRTOS repositories

Change-Id: I63bf3b2c587ace9437248a6be2bc7aeb2878f9cb
diff --git a/.gitignore b/.gitignore
index 5febf4e..8fa2d56 100644
--- a/.gitignore
+++ b/.gitignore
@@ -1,3 +1,4 @@
+/core_platform
 /core_software
 /linux_driver_stack
 /vela