[refactor] rp2040 platform property migration

docs/src/Tools.md

@@ -38,15 +38,6 @@ Textbook
 2. TODO
 3. TODO
 
-## Repo
-This book uses the [lf-pico](https://github.com/lf-lang/lf-pico) repository as a framework that contains setup scripts and examples for the applications described. Make sure the copy of lf-pico is up to date with the current documentation. Clone or navigate to the repository, pull the latest and compare the commit sha.
-```
-git clone https://github.com/lf-lang/lf-pico.git
-git pull
-git log -1
-```
-latest commit sha: 9fc422f05d934fdc45b7ebace22cfdaa12b3c3f9
-
 ## Setup
 One challenge of working with embedded systems is installing tooling. To create a reproducible unix shell environment that installs all required dependency applications, we use the nix package manager. Install [nix](https://nixos.org/download.html) first for your preferred platform. There is support for windows (wsl), macos and linux. 
 

src/Blink.lf

@@ -1,5 +1,5 @@
 target C {
-    platform: "Pico",
+    platform: "RP2040",
     threading: false,
     cmake-include: ["../platform/pico_config.txt"]
 }
@@ -17,4 +17,4 @@ main reactor {
     reaction(t1) -> led.tog {=
         lf_set(led.tog, true);
     =}
-}
+}

src/Hello.lf

@@ -1,8 +1,8 @@
 target C {
-  platform: "Pico",
+  platform: "RP2040",
   files: ["../lib/"],
   threading: false,
-  cmake-include: ["../platform/pico_config.txt", "../platform/robot_lib.txt"]
+  cmake-include: ["../platform/robot_lib.txt"]
 }
 
 import Display from "lib/Display.lf"

src/HelloPico.lf

@@ -1,5 +1,5 @@
 target C {
-    platform: "Pico",
+    platform: "RP2040",
     threading: false,
     #no-compile: true,
     cmake-include: ["../platform/pico_config.txt"] 
@@ -15,4 +15,4 @@ main reactor {
     reaction(t1) {=
         printf("Hello World!\n");
     =}
-}
+}

src/SquareMotors.lf

@@ -1,10 +1,9 @@
 target C {
-    platform: "Pico",
+    platform: "RP2040",
     files: ["../lib/"],
     threading: false,
     //no-compile: true,
-    cmake-include: ["../platform/pico_config.txt", 
-                    "../platform/robot_lib.txt"],
+    cmake-include: ["../platform/robot_lib.txt"]
 }
 
 import Display from "lib/Display.lf"
@@ -89,4 +88,4 @@ main reactor {
         lf_set(d0.line2, buf); 
     =}
 
-}
+}

src/ZephyrPico.lf

@@ -7,4 +7,4 @@ main reactor {
     reaction(startup) {=
         printf("Hello World!\n");
     =}
-}
+}

src/lib/Button.lf

@@ -1,5 +1,5 @@
 target C {
-    platform: "Pico",
+    platform: "RP2040",
     threading: false,
 }
 

src/lib/Display.lf

@@ -1,5 +1,5 @@
 target C {
-    platform: "Pico",
+    platform: "RP2040",
     threading: false,
 }
 
@@ -74,4 +74,4 @@ reactor Display {
         // display buffer
         display_show();
     =}
-}
+}

src/lib/Encoders.lf

@@ -1,5 +1,5 @@
 target C {
-    platform: "Pico",
+    platform: "RP2040",
     threading: false,
 }
 

src/lib/Imu.lf

@@ -1,5 +1,5 @@
 target C {
-    platform: "Pico", 
+    platform: "RP2040", 
     threading: false,
 }
 

src/lib/Led.lf

@@ -1,5 +1,5 @@
 target C {
-    platform: "Pico",
+    platform: "RP2040",
     threading: false
 }
 
@@ -31,4 +31,4 @@ reactor Led {
         self->led = set->value;
         gpio_put(25, self->led);
     =}
-}
+}

src/lib/Motors.lf

@@ -1,5 +1,5 @@
 target C {
-    platform: "Pico",
+    platform: "RP2040",
     threading: false,
 }