On Tue, Mar 31, 2020 at 2:55 PM Ralph Aichinger wrote:
> ...
Others answered the rest, but one additional point:
> Does installing Debian on top of UEFI firmware work yet
> in practice
>
> https://github.com/tianocore/edk2-platforms/tree/master/Platform/RaspberryPi/RPi4
Please note that Debian
On 2020.03.31 22:02, Ralph Aichinger wrote:
On Tue, Mar 31, 2020 at 05:08:35PM +0100, Pete Batard wrote:
Not from Debian (AFAIK) but, for the Pi 3, you will find some posts on the
Raspberry Pi forums:
https://www.raspberrypi.org/forums/viewtopic.php?f=50&t=249449&sid=beb9a5a5fc456deef7c00f1ffc0
On Tue, Mar 31, 2020 at 07:37:03PM +0200, deloptes wrote:
> For now I use the raspbian kernel in debian, but as you say it is 32 and I
> am not into the details, so thank you for the hints.
I am probably not telling news, but there is a 64bit kernel in
Raspbian. You just have to boot the kernel8.i
Hi Pete!
On Tue, Mar 31, 2020 at 05:08:35PM +0100, Pete Batard wrote:
> Not from Debian (AFAIK) but, for the Pi 3, you will find some posts on the
> Raspberry Pi forums:
> https://www.raspberrypi.org/forums/viewtopic.php?f=50&t=249449&sid=beb9a5a5fc456deef7c00f1ffc0be1df
> as well as a correspond
On Tue, Mar 31, 2020 at 10:04 PM Pete Batard wrote:
>
> Hi Arnd,
>
> On 2020.03.31 19:33, Arnd Bergmann wrote:
> > There is no need to use ACPI when using the UEFI boot path, that can
> > just as well work with a normal DT.
>
> But there's also no reason to declare that DT should be the only way t
Hi Arnd,
On 2020.03.31 19:33, Arnd Bergmann wrote:
There is no need to use ACPI when using the UEFI boot path, that can
just as well work with a normal DT.
But there's also no reason to declare that DT should be the only way to
boot a platform.
There is also no need to use UEFI for
booting
On Tue, Mar 31, 2020 at 7:08 PM Pete Batard wrote:
>
> Hi Gene,
>
> On 2020.03.31 17:41, Gene Heskett wrote:
> >> The only thing that's missing, really, is for Debian folks to
> >> integrate the retrofitted Genet network driver, which we submitted 2
> >> months ago, in the vanilla aarch64 installa
Pete Batard wrote:
> That's because it uses Device Tree, and the DT based version of the
> Genet driver has been in the kernel for a while, so it should be mostly
> okay.
>
> But we have to use ACPI in UEFI for various reasons. The Pi 4 has a few
> quirks, especially when it comes to DMA and USB,
Hi Gene,
On 2020.03.31 17:41, Gene Heskett wrote:
The only thing that's missing, really, is for Debian folks to
integrate the retrofitted Genet network driver, which we submitted 2
months ago, in the vanilla aarch64 installation images...
Tweaks my curiosity. That driver doesn't exist in the r
On Tuesday 31 March 2020 12:08:35 Pete Batard wrote:
> Hi Ralph,
>
> On 2020.03.31 15:24, Ralph Aichinger wrote:
[...]
> If you want to help, maybe report that the bug I pointed out above
> affects you too, since, if you can live without SD support, it's
> pretty much the one thing that stands in
Hi Ralph,
On 2020.03.31 15:24, Ralph Aichinger wrote:
Is there some "official" Debian documentation on how to
install aarch64 Debian on the Pi 3 or 4 in an "official" (i.e.
diverging as little as possible from Debian standards) way?
Not from Debian (AFAIK) but, for the Pi 3, you will find some
On 2020-03-31 16:24 +0200, Ralph Aichinger wrote:
> In comparison to this Debian's Arm64 wiki page lists tons of
> obsolete Arm64 hardware that is no longer available, but does
> not document the one Arm64 system that is the easiest to buy
> in shops very well, in my opinion.
>
> https://wiki.de
Hello!
With a little bit of envy I discovered that Ubuntu not only runs
in a vanilla flavour on the Raspberry Pi, but that there is
a very straightforward download page and stuff seems reasonably
documented. In both 32 and 64 bit.
https://ubuntu.com/download/raspberry-pi
In comparison to this De
13 matches
Mail list logo
