The diff below makes it possible to switch over to the framebuffer
console in the bootloader. Currently, we'll use whatever device is
designated in the device tree (or the ACPI SPCR table) as the console.
With this diff you can use:
+ int i, unit = -1;
+ char *no = name + strlen(name) - 1;
+ while (no >= name && *no >= '0' && *no <= '9')
+ unit = (unit < 0 ? 0 : (unit * 10)) + *no-- - '0';
+ if (no < name || unit < 0)
+ return NODEV;
+ for (i = 0; i < ncdevs; i++)
+ if (strncmp(name, cdevs[i], no - name + 1) == 0)
+ return makedev(i, unit);
On Sat, Aug 10, 2019 at 12:16:14AM +0200, Mark Kettenis wrote:
> The diff below makes it possible to switch over to the framebuffer
> console in the bootloader. Currently, we'll use whatever device is
> designated in the device tree (or the ACPI SPCR table) as the console.
> With this diff you can use:
> boot> set tty fb0
> to override that default.
This works great on my PineBook 11" HD
> Date: Mon, 12 Aug 2019 14:17:55 +0200
> From: Krystian Lewandowski <[hidden email]>
> had a chance to build efiboot with the patch eventually.
> Works fine on:
> - Pinebook 11" (1080p)
> - A64+ with 1080p display via HDMI
I have committed a axppmic(4) diff based on your code for the battery
sensors. However, it will only enable the additional sensors if you
have a very recent Linux device tree (not packaged yet). If you know
how to build device trees from the Linux source tree, you could try
that out. But please be aware that you need the kernel changes I made
over the weekend for that to work.
If you want to test my changes (I might have broken something) it is
probably easier quickly add the driver and add something like: