You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Copy file name to clipboardExpand all lines: README.md
+17-8Lines changed: 17 additions & 8 deletions
Display the source diff
Display the rich diff
Original file line number
Diff line number
Diff line change
@@ -24,37 +24,46 @@ make
24
24
## Running the code
25
25
26
26
Run generate from the `proves-core-reference` directory. This generates the build cache for FPrime. You only need to do generate if something in the core FPrime package has changed
27
-
```
27
+
```shell
28
28
make generate
29
29
```
30
30
31
31
Then, and everytime you change code, run
32
32
33
-
```
33
+
```shell
34
34
make build
35
35
```
36
36
37
-
Next, plug in your board! You want to find the location of the board on your computer. It should be called something like RP2350 but you want to find the path to it
37
+
### Find the path to your board
38
38
39
-
For Mac:
39
+
Next, plug in your board! If you have previously installed a firmware on your board you may not see it show up as a drive. In that case you'll want to find it's `tty` port.
40
+
41
+
To do this, run the following command
42
+
```shell
43
+
make list-tty
40
44
```
45
+
46
+
Otherwise, you want to find the location of the board on your computer. It should be called something like RP2350 but you want to find the path to it
47
+
48
+
For Mac:
49
+
```shell
41
50
ls -lah /Volumes
42
51
```
43
52
44
53
For Windows:
45
54
Check the letter said to be the mount (ex /d/) and then the name of the removable drive (ex /d/RP2350)
46
55
47
56
For Linux:
48
-
```
57
+
```shell
49
58
findmnt
50
59
```
51
60
52
-
Now you want to copy the code from the deployment we just made. Before you run this command you have to make this board writable by pressing the two buttons in succesion
53
-
```
61
+
Now you want to install the firmware to the board.
0 commit comments