diff --git a/content/dev/index.md b/content/dev/index.md index 51ef494..b0086dc 100644 --- a/content/dev/index.md +++ b/content/dev/index.md @@ -1,13 +1,13 @@ --- title: "Development" -date: 2022-12-02 +date: 2024-02-27 draft: false --- **GIPS** is developed at the [Real-Time Systems Lab, TU Darmstadt](https://www.es.tu-darmstadt.de/en/) (TUDa). You can find the list of contributors on the [GIPS developer page](../dev-team). -The source code of **GIPS** is available at our [GitHub repository](https://github.com/Echtzeitsysteme/gips). +The source code of **GIPS** is available at our [GitHub repository](https://github.com/Echtzeitsysteme/gips) and it is based on [eMoflon::IBeX](https://emoflon.org/ibex/) **GIPS**-specific development workspace set-up steps are available in the [README.md file](https://github.com/Echtzeitsysteme/gips#installation-development) of the [GIPS repository](https://github.com/Echtzeitsysteme/gips).