Re: Raspberry Pi Serial Number

Emmanuel Vadot <[email protected]>
Newsgroups gmane.os.freebsd.devel.arm
Message-ID <[email protected]>
On Wed, 23 Feb 2022 18:42:45 +0800
Archimedes Gaviola <[email protected]> wrote:

> On Wed, Feb 23, 2022 at 6:14 PM Peter Jeremy <[email protected]> wrote:
> 
> > On 2022-Feb-23 17:48:18 +0800, Archimedes Gaviola <
> > [email protected]> wrote:
> > >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
> >
> > I don't have a RPi4 but at least on my RPi2, the data appears to
> > be in sysctl:
> > hw.board.serial: 00000000d206f16c
> > hw.board.revision: 10620993
> > hw.platform: bcm2836
> >
> 
> Thanks Peter, I'm wondering why there's no such output in sysctl with RPi4?
> 
> Archimedes

 Because those sysctls are only added on armv7 if u-boot passed some
linux boot argument, see
https://cgit.freebsd.org/src/tree/sys/arm/arm/machdep_boot.c#n91

 The proper way to handle those is to add them under hw.fdt like I did
for model and compatible property in
https://cgit.freebsd.org/src/commit/?id=50e0dc0c4b46ee62b898ce2d92e52be4f77383d9
 but I don't think that those are standard properties.

-- 
Emmanuel Vadot <[email protected]> <[email protected]>
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.