You are not logged in.
Pages: 1
As an owner of these little computers, I was hoping that there might be an image of Devuan available for these, all I have found is a directory of a distro for the RPi3, & some talk of creating a RPi4 version.
So, if anyone is interested in these RPi, please add what you know to this thread, thanks.
Returnee previously known as FOSSuser.
Offline
Hello Camtaf,
There are already images for rpi1,rpi2,rpi3 here, by @parazyd
What is still missing is a Image for rpi4,
But @parazyd landed support in the embedded sdk, 3 months ago..
You can see it in the arm-sdk, tough I don't know the level of support..
I don't have a rpi4, if I had, I would test it..
Best Regards,
tux
Last edited by tuxd3v (2019-11-21 00:59:50)
Offline
Thanks for the links. I have downloaded the RPi3 64bit version, but it extracts to a folder full of system folders, & I know the RPi usually has a FAT partition, as well as the Linux one.
Not quite sure what to do with them, do I copy the Rasbian FAT files to a FAT partition, & then all these system files into an EXT filesystem? Or do the /boot files go onto a FAT partition, & the rest onto a Linux filesystem?
Thanks for your help.
Last edited by Camtaf (2019-11-20 11:02:03)
Returnee previously known as FOSSuser.
Offline
Thanks for the links. I have downloaded the RPi3 64bit version, but it extracts to a folder full of system folders, & I know the RPi usually has a FAT partition, as well as the Linux one.
Not quite sure what to do with them, do I copy the Rasbian FAT files to a FAT partition, & then all these system files into an EXT filesystem? Or do the /boot files go onto a FAT partition, & the rest onto a Linux filesystem?
Thanks for your help.
Hello,
You Welcome.
I believe that you need 2 file-systems, since '/boot/cmdline.txt', states in the kernel bootargs 'root=/dev/mmcblk0p2'( it assumes a second partition.. )
2 partitions.
1st Partition - copy /boot/* contents to it..
2nd Partition - copy all the rest to it( excluding /boot )..
There are still some doubts about the initial boot part, but I believe your line of thinking is correct
Offline
It is, as it's the same with Raspbian: a FAT partition to hold proprietary stuff and a Linux partition (etx3 IIRC) for the remainder.
FYI: I've tried to get Devuan running on the older RPi1 (the original Raspberry Pi) but so far unsuccessfully. Some-one else has shown it works, so there's probably an error on my part. I don't have any newer RPi's.
Last edited by Dutch_Master (2019-11-20 14:59:33)
Offline
Thanks for your help fellas.
Returnee previously known as FOSSuser.
Offline
Thanks for your help fellas.
You welcome
Offline
You can take the image for the RPi3, replace, firmware, kernel, bootloader as described here https://dev1galaxy.org/viewtopic.php?id=2935
The only difference in my way was, not to install all on a raspberry 2 or 3 as described; instead I've mounted the original image-file an replaced firmware and so on "by hand"
At least it boots, but I can only test it via ssh, because I own no micro-hdmi-cable at the moment ...
Best regards, FM_81
Offline
I am trying by make a bootable Image for rpi..
But I only have versions 1( version 2.1 died a year ago )
So I am short to compare..
For what I saw they have several kernels for different boards, I don't know if they "flash" uboot into the beginning of the sd-card, because 1st partition starts at 4MB.. exactly the size I have for the boot-loader..
It would be nice to have a fluxbox or Enlightenment version of devuan optimised
I already compiled a optimised version, of fluxbox, but it would only works in armv7- armhf( it will not in rpi v1, its too much optimized for armv7... the vfp of arm1176jzf-s will not handle it.. )..
On Par with this, I also compiled the ARM Mali Open Stack( Lima + Panfrost ).. for armhf and for arm64, but no Image yet..
Last edited by tuxd3v (2019-11-22 05:21:12)
Offline
Based on the raspi3-image (same root-password 'toor'), but for model 4:
https://www.file-upload.net/download-13 … mg.gz.html
I replaced/added files from the following debs:
firmware-brcm80211_20190114-1+rpt4_all.deb
libraspberrypi0_1.20190925-2_armhf.deb
libraspberrypi-bin_1.20190925-2_armhf.deb
libraspberrypi-dev_1.20190925-2_armhf.deb
raspberrypi-bootloader_1.20190925-2_armhf.deb
raspberrypi-kernel_1.20190925-2_armhf.deb
from the raspbian downlod-site.
Tested with SSH and composite-video out, not with HDMI yet, but it should probably work too?
I'm sure, there is a lot of work undone, but as basic image it works and it survived an
apt-get update
apt-get upgrade
but updates are not included in the image ...
MD5-checksum should be
4b38c49972103a4c452212726de01159 *./devuan_ascii_2.0.0_arm64_raspi4.img.gz
Best Regards, FM_81
Offline
I have had good luck using SD Card Formatter 5.0.1 on my Windows 10 PC to format, the belena-Etcher to install devuan_ascii_2.0.0_arm64_raspi3.img.xz 152.7 MiB 2018-Jun-06 11:28 to install to my RPI3B+.
Offline
I Built a image for RPi's using the CPU 'arm1176jzf-s':
rpi-a-plus
rpi-a
rpi-b-plus
rpi-b-rev2
rpi-b
rpi-cm1-io1
rpi-zero-w
rpi-zero
rpi-2-b
rpi-3-a-plus
rpi-3-b-plus
rpi-3-b
rpi-cm3-io3
Its a server type Image..
Offline
... the belena-Etcher to install devuan_ascii_2.0.0_arm64_raspi3.img.xz ...
Think you mean 'balena-Etcher"?
But from my point of view I would not trust this piece of software anymore: https://github.com/balena-io/etcher/issues/2977
The combination of "secretly spies" and pure root-access to raw-devices sounds not good in my ears, no matter under wich operating system?!
Not sure, what they will do in future versions, if nobody would care about ...
Best regards, FM_81
Offline
Pages: 1