Merge branch 'main' into debugging

Author: edwardalee

docs/developer/website-development.mdx

@@ -7,7 +7,7 @@ description: Development of the Lingua Franca website.
 
 First, for simple changes to the website, such as fixing typos, the easiest way is to scroll to the bottom of the page, follow the link at the bottom to send a pull request, edit the resulting page, and issue a pull request.
 
-For more elaborate changes, including adding new pages, you will need to clone the [GitHub repository](https://github.com/lf-lang/website-lingua-franca). You can then set up your local clone to provide a local copy of the website at http://localhost:8000 by following the instructions in the [README file](https://github.com/lf-lang/website-lingua-franca/blob/main/README.md). This way, you can test your changes before issuing a pull request.
+For more elaborate changes, including adding new pages, you will need to clone the [GitHub repository](https://github.com/lf-lang/lf-lang.github.io). You can then build the website by following the instructions in the [README file](https://github.com/lf-lang/lf-lang.github.io/blob/main/README.md). This way, you can test your changes before issuing a pull request.
 
 ## Editing the Handbook
 

docs/embedded/rp2040.mdx

@@ -0,0 +1,12 @@
+---
+title: RP2040
+description: Developing LF Programs for RP2040.
+---
+# Overview
+Lingua Franca's C-runtime supports the [Raspberry Pi RP2040](https://en.wikipedia.org/wiki/RP2040),
+an inexpensive microcontroller that is typically used without an operating system ("bare metal").
+A series of lab excercises have been developed for instructional use, but these also
+serve as the best documentation and guide for developing programs for the RP2040.
+These lab exercises use the [Pololu 3pi+ 2040 robot](https://www.pololu.com/docs/0J86),
+which has an RP2040, but the exercises can be adapted to other robots and RP2040 platforms.
+See the [RP2040 lab page](https://lf-lang.org/embedded-lab/) for more information.

docs/sidebars.ts

@@ -179,6 +179,10 @@ const sidebars: SidebarsConfig = {
         {
           "type": "doc",
           "id": "embedded/zephyr"
+        },
+        {
+          "type": "doc",
+          "id": "embedded/rp2040"
         }
       ]
     },