Simon Rozman f5f4cbf308 sys_info: make platform_id enum ...

This allows same platform management across different operating systems.
Like with charset_id, the Windows numbering was adopted.

Signed-off-by: Simon Rozman <simon@rozman.si>

2024-02-08 13:08:29 +01:00

..

stdex

sys_info: make platform_id enum

2024-02-08 13:08:29 +01:00