Anssi Saari (12022-07-21):
> Well, upgrading that to current Debian could be one way forward. There
> are tools in Debian you can use to weed out the proprietary stuff if
> that's a concern. Upgrades in Debian work in case you're unaware but
> follow the release notes.
Or I could debootstrap a bra
Nicolas George writes:
> Hi. I am trying to install Debian on a Rock Pi 4 (v1.73). It is a
> system-on-chip similar to and mostly compatible with the Raspberry Pi 4
> but with an on-board SSD.
>
> I have managed to boot and install one of the Debian images provided by
> the vendor, but they are o
Stefan Monnier (12022-07-19):
> I think the issue is that "Debian support" is distinct from "Debian
> installer support". So you may need to use some other means to install
> Debian than the official Debian installer.
The Debian *installer* has:
- an announce that this device is now supported:
Andrew M.A. Cater (12022-07-20):
> > > I think it is usual practice for this kind of video to become
> > > available for viewing
> > > on demand in the near future.
> > >
> > > My recollection of the discussion is that Gunnar's work is welcomed
> > > by the installer team. And it is hoped and expe
On Wed, Jul 20, 2022 at 06:54:40AM +0200, Christian Britz wrote:
> Thank you, very interesting!
>
> >> I would call it semi-official. Gunnar Wolf is a respected Debian
> >> developer and the debian.net domain is a property of the project. I
> >> would prefer an official-official installer though.
Thank you, very interesting!
>> I would call it semi-official. Gunnar Wolf is a respected Debian
>> developer and the debian.net domain is a property of the project. I
>> would prefer an official-official installer though.
>
> This was briefly touched on during a livestreamed discussion between
>
On Wed, 20 Jul 2022 at 01:26, Christian Britz wrote:
> Am 19.07.22 um 17:16 schrieb Nicolas George:
> > Christian Britz (12022-07-19):
> >> The common way to install Debian on a Raspberry Pi is using one of the
> >> images provided at raspi.debian.net. Once you got it installed, it is a
> >> Debi
Jeremy Ardley (12022-07-20):
> In my personal use, I use 'official' debian and armbian, I don't see any
> difference in function at all. They are 99.9% the same. The only difference
> is the drivers and boot process.
>
> I use standard debian arm repositories for all software unrelated to the
> sp
On 20/7/22 12:56 am, Nicolas George wrote:
Jeremy Ardley (12022-07-20):
I have had pretty consistent success with Armbian images - not Rock
Pi, but equivalent systems from a variety of vendors.
https://www.armbian.com/rockpi4/
Thank you. But this is not official Debian, which is what I am try
Jeremy Ardley (12022-07-20):
> I have had pretty consistent success with Armbian images - not Rock
> Pi, but equivalent systems from a variety of vendors.
>
> https://www.armbian.com/rockpi4/
Thank you. But this is not official Debian, which is what I am trying to
achieve.
Regards,
--
Nicola
On 19/7/22 10:03 pm, Nicolas George wrote:
Hi. I am trying to install Debian on a Rock Pi 4 (v1.73). It is a
system-on-chip similar to and mostly compatible with the Raspberry Pi 4
but with an on-board SSD.
Does anybody have something to suggest?
I have had pretty consistent success with Arm
Christian Britz (12022-07-19):
> I do not doubt that. I just wanted to point out that at least the boot
> system is not so similar. You called your device "similar to and mostly
> compatible with the Raspberry Pi 4". At least for the installation
> process that is not true.
Indeed. I suppose the a
Am 19.07.22 um 17:16 schrieb Nicolas George:
> Christian Britz (12022-07-19):
>> If this device really can boot the Debian installer, at least it's boot
>> system is fundamentally different to an out of the box Raspberry Pi.
>
> IIRC, no two ARM systems have the same boot system.
>
> The RC1 a
Christian Britz (12022-07-19):
> If this device really can boot the Debian installer, at least it's boot
> system is fundamentally different to an out of the box Raspberry Pi.
IIRC, no two ARM systems have the same boot system.
The RC1 announcement of Debian installer says this system is supporte
Hi Nicolas,
Am 19.07.22 um 16:03 schrieb Nicolas George:
> Hi. I am trying to install Debian on a Rock Pi 4 (v1.73). It is a
> system-on-chip similar to and mostly compatible with the Raspberry Pi 4
> but with an on-board SSD.
[...]
>
> I have tried the procedure described on:
> https://deb.deb
15 matches
Mail list logo
