raspi 64 bit available

sdetweil

@bkeyport thx. I am away from my pi devices til middle of march.

karsten13

I am away from my pi devices til middle of march.
😱

Meanwhile I digged into pi specific setup.

Real bad is that they removed /opt/vc and integrated the pi specific stuff into the normal file system under /lib and /usr.

With a docker setup I could formerly just mount /opt/vc into the container which is impossible now.

E.g. for getting vcgencmd working in the container I have to mount
now

      - /lib/aarch64-linux-gnu/libvchiq_arm.so:/lib/aarch64-linux-gnu/libvchiq_arm.so.0:ro
      - /lib/aarch64-linux-gnu/libvcos.so:/lib/aarch64-linux-gnu/libvcos.so.0:ro
      - /usr/bin/vcgencmd:/usr/bin/vcgencmd

after using ldd to know which libraries are used.

Other possibility would be to install the pi specific libraries into the docker image which will explode size.

This will have also impact to hardware releated modules which hardcoded the /opt/vc/ path in their js code (e.g. mmm-systemtemperature).

sdetweil

@karsten13 yes, movent towards the normal core will break older stuff…

wondering what is wrong w install

bert269

@bkeyport - Config changes were already present in the older version(1.6.2) - just have to be invoked by pressing Alt-Shift-Z or X - cannot remember)

rejas

I am currently trying to update the docs with minimal infos on configuring on a fresh isntall.

So I took the 64 bit image as well, seems fine so far.

Only thing I am not trying to get working is rotating the display.

display_rotate=1

added to boot/config doesnt seem to work anymore. Anyone got it working?

sdetweil

@rejas did u try the display config in prefences?

rejas

@sdetweil in raspi-config? or do you mean in the window manager? I was hoping of setting that via console

karsten13

@rejas

it works in the WebUI preferences -> screen configuration

command line: xrandr --output HDMI-1 --rotate right (got it not working over ssh)

karsten13

If you use the WebUI the changes are made here:

pi@pi4:~ $ cat /usr/share/dispsetup.sh
#!/bin/sh
if ! grep -q 'Raspberry Pi' /proc/device-tree/model || (grep -q okay /proc/device-tree/soc/v3d@7ec00000/status 2> /dev/null || grep -q okay /proc/device-tree/soc/firmwarekms@7e600000/status 2> /dev/null || grep -q okay /proc/device-tree/v3dbus/v3d@7ec04000/status 2> /dev/null) ; then
if xrandr --output HDMI-1 --primary --mode 1920x1080 --rate 60.000 --pos 0x0 --rotate normal --output HDMI-2 --off --dryrun ; then
xrandr --output HDMI-1 --primary --mode 1920x1080 --rate 60.000 --pos 0x0 --rotate normal --output HDMI-2 --off
fi
fi
if [ -e /usr/share/tssetup.sh ] ; then
. /usr/share/tssetup.sh
fi
exit 0

So editing this script should work for command line.

sdetweil

@karsten13 cool. once u know what it does, easy