Both in https://developer.tizen.org/forums/native-application-development/serial-number-tizen-phone and in https://developer.tizen.org/zh-hans/forums/native-application-development/get-device-serial-number?langswitch=zh-hans, somebody suggested to use TizenId. But that's not it, TizenId gives some "randomly generated value based on model name", according to the doc (and my experiment).
This is the 3rd time this question is asked (according to Google) and people says it's third time lucky.
So here we go: how to get device serial number? The value that is shown in Gear Info / About Device / Serial Number?
Platform: Tizen 2.3.2, Gear S3
Edited note: the question has been answered. The third time is indeed lucky.