@Danct12 THANK YOU!
I've been wiping all the time instead of formatting. Now it works just fine

• sorry for mistake - the first one was

fastboot flash boot ../../fastboot/imgs/halium-boot.img

Hi @Danct12
I followed your steps but I cannot get it working (as contrary to LOS 16).
Halium seems ok

❯ fastboot boot ../../fastboot/imgs/halium-boot.img
downloading 'boot.img'...
OKAY [  0.507s]
booting...
OKAY [  0.792s]
finished. total time: 1.299s

Using halium scirpt seems to work

❯./halium-install -p ut ../redmi_4/ubports-touch.rootfs-xenial-armhf.tar.gz ../redmi_4/system.img
...
* daemon started successfully
.halium-install-imgs.kdniI/rootfs.img: 1 file pushed. 29.4 MB/s (3221225472 bytes in 104.455s)
I:    Pushing android image to /data via ADB
.halium-install-imgs.kdniI/system.img: 1 file pushed. 29.2 MB/s (530046976 bytes in 17.321s)

real	2m4,878s
user	0m0,895s
sys	0m4,792s
I: Cleaning up
umount: .halium-install-rootfs.YfPsB: not mounted.

Reboot dmesg -w output

[  580.375260] usb 1-10: USB disconnect, device number 8
[  591.295694] usb 1-10: new high-speed USB device number 9 using xhci_hcd
[  591.316082] usb 1-10: device descriptor read/8, error -32
[  591.444080] usb 1-10: device descriptor read/8, error -32
[  591.887680] usb 1-10: new high-speed USB device number 10 using xhci_hcd
[  591.908635] usb 1-10: New USB device found, idVendor=18d1, idProduct=d001, bcdDevice= 3.18
[  591.908640] usb 1-10: New USB device strings: Mfr=1, Product=2, SerialNumber=3
[  591.908643] usb 1-10: Product: Failed to boot
[  591.908646] usb 1-10: Manufacturer: Halium initrd
[  591.908648] usb 1-10: SerialNumber: halium-initrd
[  591.911580] rndis_host 1-10:1.0 usb0: register 'rndis_host' at usb-0000:00:14.0-10, RNDIS device, ce:bd:52:32:a7:cb
[  591.929671] rndis_host 1-10:1.0 enp0s20f0u10: renamed from usb0

SSH does not seem to work (either by using connect script or manual setup)

./connect.py -p ssh -u phablet                                                                  
* The device seems to be connected as enp0s20f0u10
* Connecting using ssh
ssh: connect to host 10.15.19.82 port 22: No route to host

Telnet is working though but:

cat /var/lib/lxc/android/rootfs/ueventd*.rc|grep ^/dev|sed -e 's/^\/dev\///'|awk '{printf "ACTION==\"add\", KERNEL==\"%s\", OWNER=\"%s\", GROUP=\"%s\", MODE=\"%s\"\n",$1,$3,$4,$2}' | sed -e 's/\r//' >
/usr/lib/lxc-android-config/70-[santoni].rules
cat: can't open '/var/lib/lxc/android/rootfs/ueventd*.rc': No such file or directory
/bin/sh: can't create /usr/lib/lxc-android-config/70-[santoni].rules: nonexistent directory

Additionaly

ls -la /var/
total 0
drwxr-xr-x    3 0        0               60 Jun  2 22:38 .
drwxr-xr-x   22 0        0              460 Jun  2 22:39 ..
drwxr-xr-x    2 0        0               40 Jun  2 22:38 lock


ls -la /lib/
total 144
drwxr-xr-x    7 0        0              180 Mar  6  2020 .
drwxr-xr-x   22 0        0              460 Jun  2 22:39 ..
drwxr-xr-x    2 0        0              740 Mar  6  2020 aarch64-linux-gnu
-rwxr-xr-x    1 0        0           144064 May  8  2016 klibc-l2KWxiQhsOhwWkxGl3jGkrDaJnQ.so
lrwxrwxrwx    1 0        0               28 Mar  6  2020 ld-linux-aarch64.so.1 -> aarch64-linux-gnu/ld-2.24.so
drwxr-xr-x    2 0        0               80 Mar  6  2020 modprobe.d
drwxr-xr-x    3 0        0               60 Mar  6  2020 modules
drwxr-xr-x    3 0        0               80 Mar  6  2020 systemd
drwxr-xr-x    3 0        0              100 Mar  6  2020 udev

Any ideas?