scupt-tc real hardware: 0/3

[Alexander Boettcher]

Hello,

On 06.07.2018 16:41, Guido Witmond wrote:
> On 07/06/2018 03:44 PM, Paul Dufresne wrote:
>> I have built the run/demo on Nova, burn the demo.iso on a CD, and
>> tried it on my Dell Optiplex 745.
>> Does reboot in loop too.
>>
>> I am considering making a program that just loop to stop the reboot
>> loop. :)
> 
> Hi Paul,
> 
> I've ran the boot loop on my Optiplex 380 and got this output. Hope it
> helps you diagnose your problem.
> 
> # cu -s 115200 -l /dev/ttyS0
> Connected.
> Bender: Hello World.
> framebuffer at [b8000+b8fa0) 80x25 at 16
> warning - unknown framebuffer type
> framebuffer at [b8000+b8fa0) 80x25 at 16
> warning - unknown framebuffer type
> 
> NOVA Microhypervisor v7-9b24eb4 (x86_64): Jun 12 2018 22:09:48 [gcc
> 6.3.0] [MBI2]
> 

I would suggest to instrument NOVA and see up to which point it gets.
The bring-up of the other CPUs/Hyperthread seem to be missing in your
log output. ([ 0] CORE:0:0:0 6:f:b:0 ....).
After you last log message, the kernel parses the ACPI tables, among
other things. Typically the ACPI tables are a resource of trouble.
(Please check also that you have the latest BIOS/UEFI update, just to
avoid looking for issues which maybe are already fixed by correct ACPI
table generation.)

Cheers,

Alex.

-- 
Alexander Boettcher
Genode Labs

http://www.genode-labs.com - http://www.genode.org

Genode Labs GmbH - Amtsgericht Dresden - HRB 28424 - Sitz Dresden
Geschäftsführer: Dr.-Ing. Norman Feske, Christian Helmuth