tree 5b3c362db60c621a38aaa82876b7a6a69087f7ff
parent c93c2ce269fc53363a6687bef9f47e758ea4071c
author Davide Pesavento <davide.pesavento@lip6.fr> 1524943211 -0400
committer Davide Pesavento <davide.pesavento@lip6.fr> 1525130760 -0400

docs: update list of supported platforms

Change-Id: Ib0aca834a90a9efd403d3357f94e482f1bbe82f0