[Trisquel-devel] Trying to boot Trisquel on rockpro64

[David Lecompte]

Le samedi 01 février 2025 à 06:36 +0100, Denis 'GNUtoo' Carikli a écrit :
> First locate the address of the __log_buf symbol inside the kernel:
> > $ sudo grep __log_buf boot/System.map-5.15.0-130-generic 
> > ffffffff8423a770 b __log_buf
> 

Thanks for the tip, but where should I find this boot/System.map-5.15.0-130-
generic?

When I mount the .img file, all what I find there is:

drwxr-xr-x 31 root root     1536 déc.   5 03:13 dtbs
drwxr-xr-x  2 root root      512 déc.   5 03:13 extlinux
-rwxr-xr-x  1 root root 59761301 déc.   5 03:13 initrd.gz
-rwxr-xr-x  1 root root 17286526 déc.   5 03:13 vmlinuz
drwxr-xr-x 31 root root     1536 déc.   5 03:13 dtbs
drwxr-xr-x  2 root root      512 déc.   5 03:13 extlinux
-rwxr-xr-x  1 root root 59761301 déc.   5 03:13 initrd.gz
-rwxr-xr-x  1 root root 17286526 déc.   5 03:13 vmlinuz

The initrd.gz does not include any boot directory.

I also looked into the linux-image-5.15.0-130-generic-64k_5.15.0-
130.140+11.0trisquel30_arm64.deb file but I can't find any such file either.

So I don't know where to look.

-- 
David Lecompte <trisquel at metani.fr>