On 2016/6/23 5:45, Ed Maste wrote: > On 22 June 2016 at 16:53, Peter Maydell <peter.mayd...@linaro.org> wrote: >> >> Yeah, it looks like the same bug is also present in UEFI itself >> (it's super popular!). Laszlo, Ard, do you have a prebuilt >> UEFI binary with Ard's fix? >> >> Probably you'll find that if UEFI is configuring the GIC interrupt >> groups FreeBSD will boot even without doing it itself, I try this with Ard's patch. Looks like UEFI already loader guest kernel not like berfore. But the FreeBSD kernel still hangs.
FreeBSD/arm64 EFI loader, Revision 1.1 (r...@releng2.nyi.freebsd.org, Sat Jun 11 17:18:43 UTC 2016) Loading /boot/defaults/loader.conf /boot/kernel/kernel data=0x704ca8+0x32db74 syms=[0x8+0xda1c0+0x8+0xd6db0] /boot/entropy size=0x1000 Hit [Enter] to boot immediately, or any other key for command prompt. Booting [/boot/kernel/kernel]... Using DTB provided by EFI at 0x13ffb9000. KDB: debugger backends: ddb KDB: current backend: ddb Copyright (c) 1992-2016 The FreeBSD Project. Copyright (c) 1979, 1980, 1983, 1986, 1988, 1989, 1991, 1992, 1993, 1994 The Regents of the University of California. All rights reserved. FreeBSD is a registered trademark of The FreeBSD Foundation. FreeBSD 11.0-ALPHA3 #0 r301815: Sat Jun 11 17:22:24 UTC 2016 r...@releng2.nyi.freebsd.org:/usr/obj/arm64.aarch64/usr/src/sys/GENERIC arm64 FreeBSD clang version 3.8.0 (tags/RELEASE_380/final 262564) (based on LLVM 3.8.0) WARNING: WITNESS option enabled, expect reduced performance. Thanks, -- Shannon