Minor fixes for ports documentation, explicitly name dependencies

argos-research / documentation

argos research documentation project

https://argos-research.github.io/documentation

0 stars 2 forks source link

Closed Flowm closed 7 years ago

irgendwie commented 7 years ago

Note: The prepare_port tool only supports one parameter with Genode 15.11 - this will change with version 16.08.

Thanks for the PR.