Raspberry Pi Serial Number

Archimedes Gaviola <[email protected]>
Newsgroups gmane.os.freebsd.devel.arm
Message-ID <CAJFbk7GZu3wTGmfKPO-EizVMb++mS43M08UAry3Gv50D0Cbfqg@mail.gmail.com> 
Hi,

How to obtain the RPi serial number? I'm checking sysctl info but there
seems to be none with FreeBSD-13.0-RELEASE and 14.0-CURRENT or I just
missed it somewhere? In CentOS it is reflected in the /proc/cpuinfo such as:

Hardware        : BCM2835
Revision        : b03112
Serial          : 10000000bc8a56a3
Model           : Raspberry Pi 4 Model B Rev 1.2

Thanks,
Archimedes
lmpx.com only provides a reader for public news (NNTP) servers. It is not affiliated with the servers or forums shown here and is not responsible for the content of articles, which is written by their respective authors.