tree 676296c67e37cc80ce29b5425e1c978237c0c322
parent 6028418380aed5d7e38e73cfdb0813cf860b107e
author Davide Pesavento <davidepesa@gmail.com> 1698798902 -0400
committer Davide Pesavento <davidepesa@gmail.com> 1698798902 -0400

docs: update list of supported platforms

Change-Id: Ic09db6ec9d84417ffc97f84a0e4bbf8dc6365955