Linux-sky1 image Iso?

Orion Series O6N
1

Would it be possible someone to provide an image ISO download of linux-sky1?

2

You can use sky1-linux-image-build to create an IMG or ISO file. If you follow the key points in this guide, you should end up with a bootable image.

From my experience, there are a few common pitfalls:

  • Kernel updates can sometimes result in an unbootable system.
  • Server Provisioning Guide
    • On the first boot, make sure to select the correct boot entry for your hardware.
    • In my case, that’s “O6N”.
    • Change the default boot entry before running apt upgrade!
    • You’ll also need to set up time synchronization manually — for example, using systemd-timesyncd.

Time sync

see archlinux wiki - systemd-timesyncd

#check time and date 
date 
timedatectl status

# set time manually
sudo date --set="2026-03-01 15:30:00" 

# perform update - make sure you changed default boot order if your are not on O6 :) !
sudo apt update
sudo apt upgrade

# configure systemd-timesyncd
sudo apt install systemd-timesyncd
sudo nano /etc/systemd/timesyncd.conf
sudo systemctl start systemd-timesyncd
sudo systemctl enable systemd-timesyncd
sudo timedatectl set-ntp 1

Standard grub bootentry

after update - otherwise grub.cfg is blank

sudo grep menuentry /boot/efi/GRUB/grub.cfg
sudo grub-set-default 1 #in my case

sudo less /boot/efi/GRUB/grub.cfg #check Kernel parameters

Greetings!

3

Has anyone been able to get a working desktop environment with Sky1 Linux? I’ve tried ““./scripts/build.sh xfce desktop image” a whole bunch of times on my Orion O6 and have never been able to get a working graphical boot. Either it goes through the boot normally and then displays a solid grey screen and stays there forever, or with some attempts the bootloader doesn’t even find the kernel, complaining about a UUID that doesn’t exist.

4

Here are some ISOsthat I built with the image build program. Let me know if you need a different config!

1 Like
5

Thank you! I tried the KDE ISO but unfortunately wasn’t able to get it to work. With the BIOS (1.1.0-1) set to ACPI, it loads the kernel but doesn’t seem to hand over to userspace. With the BIOS set to device tree, it doesn’t boot at all.

6

Hmm okay. I’m just uploading direct from the tool output so if there’s issues it’s unfortunately something above my head. I will upload a few more in case it was a glitch… otherwise we have to wait for the dev to push updates.

7

nope not so far, tried all methods and had no luck wit gui.

ik_llama @ cli works great for me atm :slight_smile:

8

Maybe there are upstream issues with the program because I can no longer get the image maker program to work properly. Weird!