Dear happy few Crux fans, As hinted in a previous post, I installed the generic Crux ARM 64 bits root fs image (RC2) on a MicroSD partition having booted the ArchLinux O/S image (as a shortcut for u-boot installation). It is now working except for a strange behavior for the agetty (or any other process) output to /dev/tty1 USUALLY does not show up on the hdmi display, but SOMETIMES works fine. It worked on two occasions, but I am unable to identify a causal pattern (at first a cable handling sequence seemed at stake). I have ssh access to the system for troubleshooting. The HDMI connection is working coherently in the following sense: the EDID information is indeed reflected in /sys/devices/virtual/amhdmitx/amhdmitx0/edid and when I change the HDMI parameters, the display (a 7 in. camera monitor sold in the professional video market) indeed reports the change in a temporary pop-up tile (in the otherwise blank screen). I.e. the HDMI parameter change is effected by echo -n 480i60hz >/sys/devices/virtual/amhdmitx/amhdmitx0/disp_mode and then echo -n 480p60hz >/sys/devices/virtual/amhdmitx/amhdmitx0/disp_mode (change from 480i to 480p). I will refer to the Hardkernel/Odroid community forum for help and I will keep the Crux arm list informed. Regards, - Thierry Moreau