From 23ee0d7bddad357bd4bb46b7eecee6e865a0388f Mon Sep 17 00:00:00 2001
From: "Edward A. Lee" <eal@berkeley.edu>
Date: Thu, 9 Nov 2023 17:20:57 -0800
Subject: [PATCH] Added instructions for RP2040 support

---
 .../scripts/generateDocsNavigationPerLanguage.js            | 1 +
 packages/lingua-franca/src/lib/documentationNavigation.ts   | 6 ++++++
 2 files changed, 7 insertions(+)

diff --git a/packages/documentation/scripts/generateDocsNavigationPerLanguage.js b/packages/documentation/scripts/generateDocsNavigationPerLanguage.js
index 488981ef1..b994e3465 100644
--- a/packages/documentation/scripts/generateDocsNavigationPerLanguage.js
+++ b/packages/documentation/scripts/generateDocsNavigationPerLanguage.js
@@ -93,6 +93,7 @@ const handbookPages = [
     items: [
       { file: "embedded/Arduino.md"},
       { file: "embedded/Zephyr.md"},
+      { file: "embedded/RP2040.md"},
     ],
   },
   {
diff --git a/packages/lingua-franca/src/lib/documentationNavigation.ts b/packages/lingua-franca/src/lib/documentationNavigation.ts
index 393646d4d..0de3b1325 100644
--- a/packages/lingua-franca/src/lib/documentationNavigation.ts
+++ b/packages/lingua-franca/src/lib/documentationNavigation.ts
@@ -262,6 +262,12 @@ export function getDocumentationNavForLanguage(
           permalink: "/docs/handbook/zephyr",
           oneline: "Developing LF Programs for Zephyr RTOS.",
         },
+        {
+          title: "RP2040",
+          id: "4-rp2040",
+          permalink: "/docs/handbook/rp2040",
+          oneline: "Developing LF Programs for the Raspberry Pi RP2040.",
+        },
       ],
     },
     {