Adding a new platform specific configuration
Adding a new platform specific configuration requires to update the README and the platforms.jsonnet file by adding the platform to the list of existing ones. This allow the new platform to be discoverable and easily configurable by the users.