From c9c275bd3f4b1530b2164dfd7003d59795f4160e Mon Sep 17 00:00:00 2001 From: Ehsan Khodadad Date: Sun, 27 Jul 2025 01:11:13 +0200 Subject: [PATCH] a modification in embedded/patmos --- docs/embedded/patmos.mdx | 2 +- versioned_docs/version-0.10.0/embedded/patmos.mdx | 2 +- versioned_docs/version-0.9.0/embedded/patmos.mdx | 2 +- 3 files changed, 3 insertions(+), 3 deletions(-) diff --git a/docs/embedded/patmos.mdx b/docs/embedded/patmos.mdx index b421eec38..cf2807c03 100644 --- a/docs/embedded/patmos.mdx +++ b/docs/embedded/patmos.mdx @@ -11,7 +11,7 @@ execution time (WCET) for reactions. - Linux or macOS development system. (use WSL on Windows) - DE2-115 Development Kit, which is equipped with Altera Cyclone IV FPGA (optional) ### Getting Started -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) +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`. ### Compiling and Running Lingua Franca codes Patmos can run in an FPGA, but there are also two simulators available: diff --git a/versioned_docs/version-0.10.0/embedded/patmos.mdx b/versioned_docs/version-0.10.0/embedded/patmos.mdx index b421eec38..cf2807c03 100644 --- a/versioned_docs/version-0.10.0/embedded/patmos.mdx +++ b/versioned_docs/version-0.10.0/embedded/patmos.mdx @@ -11,7 +11,7 @@ execution time (WCET) for reactions. - Linux or macOS development system. (use WSL on Windows) - DE2-115 Development Kit, which is equipped with Altera Cyclone IV FPGA (optional) ### Getting Started -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) +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`. ### Compiling and Running Lingua Franca codes Patmos can run in an FPGA, but there are also two simulators available: diff --git a/versioned_docs/version-0.9.0/embedded/patmos.mdx b/versioned_docs/version-0.9.0/embedded/patmos.mdx index b421eec38..cf2807c03 100644 --- a/versioned_docs/version-0.9.0/embedded/patmos.mdx +++ b/versioned_docs/version-0.9.0/embedded/patmos.mdx @@ -11,7 +11,7 @@ execution time (WCET) for reactions. - Linux or macOS development system. (use WSL on Windows) - DE2-115 Development Kit, which is equipped with Altera Cyclone IV FPGA (optional) ### Getting Started -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) +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`. ### Compiling and Running Lingua Franca codes Patmos can run in an FPGA, but there are also two simulators available: