[Macchiato] macchiatobin problem

[Steve McIntyre]

On Thu, Nov 01, 2018 at 12:53:35PM +0200, Baruch Siach wrote:
>Hi Steve,
>
>Adding Marcin to Cc.
>
>Steve McIntyre writes:
>> On Wed, Oct 31, 2018 at 08:07:50AM +0200, Baruch Siach wrote:
>>>> >
>>>> >More details at: http://macchiatobin.net/forums/topic/kernel-vanilla/
>>>>
>>>> I've seen similar to that with vanilla 4.19. So I dropped back to 4.18
>>>> and that works great.
>>>
>>>What is you kernel .config? Are you using U-Boot? I can try to reproduce it
>>>here.
>>
>> Nope, I'm using a recently-built (~1w ago) UEFI from the instructions
>> on the wiki. .config attached.
>
>I can't build UEFI using the current instructions on the wiki:
>
>  http://wiki.macchiatobin.net/tiki-index.php?page=Build+from+source+-+UEFI+EDK+II
>
>The 'build' command insists on using my host gcc, even though I set
>GCC5_AARCH64_PREFIX correctly. The Python based build system is debug
>resistant to me.

Ah, Marcin did say he's just updated the wiki. :-/

>This wiki page has changed a few days ago. Can you still build with the
>current instructions? My host is Debian testing, BTW.

I'll have a look. I'm building using Debian stable atm.

>Is there any particular reason you need the UEFI setup? Is it more
>convenient than U-Boot for a large distro like Debian?

The main reason for me is that I just don't like U-Boot. :-) But yes,
UEFI is much more useful from a distro point of view - easy
installation out of the box, with no need to fight with bootloader
setup. And there's other useful features like support for firmware
updates controlled by the OS, for example.

Now that there's work to add some UEFI support into U-Boot that might
make some of this moot, but for now at least EDK2 is the right answer
IMHO.

-- 
Steve McIntyre, Cambridge, UK.                                steve at einval.com
You raise the blade, you make the change... You re-arrange me 'til I'm sane...