platform ID not always updated and not accesible through the official API

It would be really useful to have a way to access the platform ID from the official API.

Currently this information resides in struct trtl_desc (the field is called devid).

However, I also noticed that this value is only updated when the device is opened via trtl_open_by_id(). If the device is opened via trtl_open() it is not...

To upload designs, you'll need to enable LFS and have an admin enable hashed storage. More information