hello HuiW,
actually, it’s present in the very beginning of kernel logs.
for example,
$ sudo dmesg
...
[ 0.000000] Booting Linux on physical CPU 0x0000000000 [0x4e0f0040]
[ 0.000000] Linux version 5.10.104-tegra (buildbrain@mobile-u64-5240-d7000) (aarch64-buildroot-linux-gnu-gcc.br_real
(Buildroot 2020.08) 9.3.0, GNU ld (GNU Binutils) 2.33.1) #1 SMP PREEMPT Sun Sep 18 20:15:57 PDT 2022
[ 0.000000] Machine model: Jetson-AGX