I have been working on the public website, and have added a new forum for users to use at:
This is modeled after this forum and is completely open and allows anyone to sign up, unlike our mattermost chat.
I hope people who are interested will sign up and start posting.
There are also detailed kernel and libstd docs at https://doc.redox-os.org
We have an ISO release (WIP) at static.redox-os.org
4 Likes
The ISO is a Linux image though - why is there no Redox image to just boot into?
Once installed, a compressed image even makes for a much smaller download @ 12MB
Redox cannot boot from a CD or USB yet, so the ISO must use Linux.
I have published compressed disk files here, in raw, VDI, and VMDK formats:
https://static.redox-os.org/
Do you have instructions for how to install from the ISO? What I tried was:
- Booting the ISO
- Running redox-install(er?)
- Rebooting into...something
I did get a shell prompt, but I'm pretty sure I missed a step.
If you are using VirtualBox, make sure you set up the Storage to be AHCI instead of IDE.
Then the steps are:
- Boot the ISO
- Run
redox-installer
/dev/sda
-
y
for the prompt
reboot
1 Like