Skip to content

Commit c9c275b

Browse files
committed
a modification in embedded/patmos
1 parent b8a9cc5 commit c9c275b

File tree

3 files changed

+3
-3
lines changed

3 files changed

+3
-3
lines changed

docs/embedded/patmos.mdx

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -11,7 +11,7 @@ execution time (WCET) for reactions.
1111
- Linux or macOS development system. (use WSL on Windows)
1212
- DE2-115 Development Kit, which is equipped with Altera Cyclone IV FPGA (optional)
1313
### Getting Started
14-
To know how to install the toolchain for building Patmos, read the Patmos project's readme at https://github.com/t-crest/patmos or study the sixth chapter of its handbook available here: [Patmos Reference Handbook](http://patmos.compute.dtu.dk/patmos_handbook.pdf)
14+
To know how to install the toolchain for building Patmos, read the Patmos project's readme at https://github.com/t-crest/patmos or study the sixth chapter of its handbook available here: [Patmos Reference Handbook](http://patmos.compute.dtu.dk/patmos_handbook.pdf). Remember that due to limitations when compiling LF programs for Patmos, you should pass `toolchain1` as an argument to the build command, as in `./misc/build.sh -q toolchain1`.
1515
### Compiling and Running Lingua Franca codes
1616
Patmos can run in an FPGA, but there are also two simulators available:
1717

versioned_docs/version-0.10.0/embedded/patmos.mdx

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -11,7 +11,7 @@ execution time (WCET) for reactions.
1111
- Linux or macOS development system. (use WSL on Windows)
1212
- DE2-115 Development Kit, which is equipped with Altera Cyclone IV FPGA (optional)
1313
### Getting Started
14-
To know how to install the toolchain for building Patmos, read the Patmos project's readme at https://github.com/t-crest/patmos or study the sixth chapter of its handbook available here: [Patmos Reference Handbook](http://patmos.compute.dtu.dk/patmos_handbook.pdf)
14+
To know how to install the toolchain for building Patmos, read the Patmos project's readme at https://github.com/t-crest/patmos or study the sixth chapter of its handbook available here: [Patmos Reference Handbook](http://patmos.compute.dtu.dk/patmos_handbook.pdf). Remember that due to limitations when compiling LF programs for Patmos, you should pass `toolchain1` as an argument to the build command, as in `./misc/build.sh -q toolchain1`.
1515
### Compiling and Running Lingua Franca codes
1616
Patmos can run in an FPGA, but there are also two simulators available:
1717

versioned_docs/version-0.9.0/embedded/patmos.mdx

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -11,7 +11,7 @@ execution time (WCET) for reactions.
1111
- Linux or macOS development system. (use WSL on Windows)
1212
- DE2-115 Development Kit, which is equipped with Altera Cyclone IV FPGA (optional)
1313
### Getting Started
14-
To know how to install the toolchain for building Patmos, read the Patmos project's readme at https://github.com/t-crest/patmos or study the sixth chapter of its handbook available here: [Patmos Reference Handbook](http://patmos.compute.dtu.dk/patmos_handbook.pdf)
14+
To know how to install the toolchain for building Patmos, read the Patmos project's readme at https://github.com/t-crest/patmos or study the sixth chapter of its handbook available here: [Patmos Reference Handbook](http://patmos.compute.dtu.dk/patmos_handbook.pdf). Remember that due to limitations when compiling LF programs for Patmos, you should pass `toolchain1` as an argument to the build command, as in `./misc/build.sh -q toolchain1`.
1515
### Compiling and Running Lingua Franca codes
1616
Patmos can run in an FPGA, but there are also two simulators available:
1717

0 commit comments

Comments
 (0)