Add FreeRTOS (#2434)

Eventually I would like to add the `BUILD.bazel` and `MODULE.bazel` files directly to FreeRTOS. Started the conversation with maintainers here: https://forums.freertos.org/t/bazel-build-file-for-the-freertos-kernel/20963
bazelbuild · Jul 16, 2024 · dc5de5a · dc5de5a
1 parent d4edec9
commit dc5de5a
Show file tree

Hide file tree

Showing 5 changed files with 576 additions and 0 deletions.
diff --git a/modules/freertos/10.5.1/MODULE.bazel b/modules/freertos/10.5.1/MODULE.bazel
@@ -0,0 +1,7 @@
+module(
+    name = "freertos",
+    version = "10.5.1",
+    compatibility_level = 0,
+)
+
+bazel_dep(name = "platforms", version = "0.0.9")