On Sat, 2018-03-10 at 10:45 +0000, Thiebaud Weksteen wrote: > On Fri, Mar 9, 2018 at 5:54 PM Jeremy Cline <jeremy@xxxxxxxxxx> wrote: > > and it's hanging at "memset(log_tbl, 0, sizeof(*log_tbl) + log_size);" > > Thanks. Well, it looks like the memory that is supposedly allocated is not > usable. I'm thinking this is a firmware bug. > Ard, would you agree on this assumption? Thoughts on how to proceed? Check if the BIOS is up to date? /Jarkko
