Hi Paul,
On 2020.02.04 03:09, Paul Wise wrote:
Is there a plan to package edk2-platforms for Debian?
Not that I know of.
We already have
an edk2 package, but it only supports x86/ARM virtual machines. It
would be nice to have open UEFI firmware for ARM platforms available
in Debian.
You
On Mon, Feb 3, 2020 at 7:21 PM Pete Batard wrote:
> Well, if you can live without SD support and with ACPI rather than
> Device Tree, then please be aware that I have just sent a patch that
> should enable netinst of *vanilla* Debian ARM64 on a Raspberry Pi 4 in
> ACPI mode, when using the EDK2
On Monday 03 February 2020 14:53:09 Lennart Sorensen wrote:
> On Mon, Feb 03, 2020 at 01:50:25PM -0500, Gene Heskett wrote:
> > I have no "leveerage" with raspbian. They officially have zero
> > support for a realtime kernel. 4 posts to their forum in threads
> > related, over4 days have not
On Monday 03 February 2020 14:21:37 Pete Batard wrote:
> Hi,
>
> On 2020.02.03 15:53, Lennart Sorensen wrote:
> > On Mon, Feb 03, 2020 at 10:41:17AM -0500, Gene Heskett wrote:
> >> Written to a 64GB card with dd, makes zero attempt to boot on rp4b.
> >>
> >> Put presently running raspbian buster
On Mon, Feb 03, 2020 at 01:50:25PM -0500, Gene Heskett wrote:
> I have no "leveerage" with raspbian. They officially have zero support
> for a realtime kernel. 4 posts to their forum in threads related, over4
> days have not elicited a reply from anyone.
>
> I have no problems building kernels
Hi,
On 2020.02.03 15:53, Lennart Sorensen wrote:
On Mon, Feb 03, 2020 at 10:41:17AM -0500, Gene Heskett wrote:
Written to a 64GB card with dd, makes zero attempt to boot on rp4b.
Put presently running raspbian buster 10.2 card back in, boots up normal.
Suggestions?
According to
TBH after the Rock64 / Pro64 and other RK3399 boards I think the Pi4
came around 6 months too late, A76 / Axx are just around the corne,
the dual hdmi ( micro/mini ? ) is a total waste.
Nige
On Mon, Feb 3, 2020 at 1:50 PM Gene Heskett wrote:
>
> On Monday 03 February 2020 11:34:41 Nigel
On Monday 03 February 2020 11:34:41 Nigel Sollars wrote:
> Perhaps you could leverage this from raspian,
I have no "leveerage" with raspbian. They officially have zero support
for a realtime kernel. 4 posts to their forum in threads related, over4
days have not elicited a reply from anyone.
I
On Monday 03 February 2020 10:53:31 Lennart Sorensen wrote:
> On Mon, Feb 03, 2020 at 10:41:17AM -0500, Gene Heskett wrote:
> > Written to a 64GB card with dd, makes zero attempt to boot on rp4b.
> >
> > Put presently running raspbian buster 10.2 card back in, boots up
> > normal.
> >
> >
Perhaps you could leverage this from raspian,
https://lb.raspberrypi.org/forums/viewtopic.php?t=245908
I dont have any experience with this one nor have hardware ( not a pi
fan ). More Pi4 SoC info came in with 5.4/5 anyhow so you would want
something recent to get it done.
Nige
On Mon, Feb
On Mon, Feb 03, 2020 at 10:41:17AM -0500, Gene Heskett wrote:
> Written to a 64GB card with dd, makes zero attempt to boot on rp4b.
>
> Put presently running raspbian buster 10.2 card back in, boots up normal.
>
> Suggestions?
According to https://wiki.debian.org/RaspberryPi there is no support
Written to a 64GB card with dd, makes zero attempt to boot on rp4b.
Put presently running raspbian buster 10.2 card back in, boots up normal.
Suggestions?
Thanks.
Cheers, Gene Heskett
--
"There are four boxes to be used in defense of liberty:
soap, ballot, jury, and ammo. Please use in that
12 matches
Mail list logo