Boot log on ThinkPad X200

[zamaudio]

With patches (https://github.com/zamaudio/GNUMach_SMP/tree/gcc9-smp-debian) I got it to boot with network on native hardware.
Keystrokes not working, ssh worked. Here is log from my terminal over ssh!

demo@zamhurd:~$ sudo cat /var/log/dmesg
GNU Mach 1.8
acpi found 2 cpus
biosmem: physical memory map:
biosmem: 000000000000000000:00000000000009fc00, available
biosmem: 00000000000009fc00:0000000000000a0000, reserved
biosmem: 0000000000000f0000:000000000000100000, reserved
biosmem: 000000000000100000:00000000007d74d000, available
biosmem: 00000000007d74d000:000000000080000000, reserved
biosmem: 0000000000f0000000:0000000000f4000000, reserved
biosmem: 000000000100000000:000000000180000000, available
vm_page: page table size: 513853 entries (28104k)
vm_page: DMA: pages: 4080 (15M), free: 0 (0M)
vm_page: DMA: min:500 low:600 high:1000
vm_page: DIRECTMAP: pages: 219136 (856M), free: 208053 (812M)
vm_page: DIRECTMAP: min:10956 low:13148 high:21913
vm_page: HIGHMEM: pages: 290637 (1135M), free: 0 (0M)
vm_page: HIGHMEM: min:14531 low:17438 high:29063
LAPIC mapped: physical: 0xfee00000 virtual: 0xf95e1000 version: 0x50014
GNU Mach 1.8
acpi found 2 cpus
biosmem: physical memory map:
biosmem: 000000000000000000:00000000000009fc00, available
biosmem: 00000000000009fc00:0000000000000a0000, reserved
biosmem: 0000000000000f0000:000000000000100000, reserved
biosmem: 000000000000100000:00000000007d74d000, available
biosmem: 00000000007d74d000:000000000080000000, reserved
biosmem: 0000000000f0000000:0000000000f4000000, reserved
biosmem: 000000000100000000:000000000180000000, available
vm_page: page table size: 513853 entries (28104k)
vm_page: DMA: pages: 4080 (15M), free: 0 (0M)
vm_page: DMA: min:500 low:600 high:1000
vm_page: DIRECTMAP: pages: 219136 (856M), free: 208053 (812M)
vm_page: DIRECTMAP: min:10956 low:13148 high:21913
vm_page: HIGHMEM: pages: 290637 (1135M), free: 0 (0M)
vm_page: HIGHMEM: min:14531 low:17438 high:29063
LAPIC mapped: physical: 0xfee00000 virtual: 0xf95e1000 version: 0x50014
pcibios_init : BIOS32 Service Directory structure at 0xf6ba0
pcibios_init : BIOS32 Service Directory entry at 0xff046
pcibios_init : PCI BIOS revision 2.10 entry at 0xffa40
Probing PCI hardware.
AHCI SATA 00:1f.2 BAR 0xe1625000 IRQ 11
ahci: 00:1f.2: Odd number of ports 2, assuming 4 is correct
sd0: HITACHI HTS723232A7A364, 298GB w/16384kB Cache
floppy0: no floppy controllers found
probing scsi 5/22: Adaptec 1542 Invalid address for shpnt with 1542.
Invalid address for shpnt with 1542.
probing scsi 18/22: Western Digital WD-7000 Failed initialization of WD-7000 SCSI card!
probing scsi 21/22: Iomega parport ZIP drive ppa

[zamaudio]

BTW I just applied the debian patches from gnumach debian packaging, plus a small fix to the docs and copied the compiler-gcc8.h to gcc9

[AlmuHS]

Could you attach here the link to these patches?. And the instructions about how to apply them.

And, btw, if you can access via ssh, can you execute the commands nproc and nproc --all ?

[AlmuHS]

ok. I've just compiled your patched microkernel, and It works!!
nproc show 2 cpus.

But all process continues executing in CPU 0. Even compiling a code with make -j2 (to generate 2 threads), both threads executes in CPU 0.

[AlmuHS]

Can you send me a Pull Request? To create a new branch with the patches, and simplify the test

[zamaudio]

Hey @AlmuHS, did your recent thread_info thing fix the problem with keyboard interrupts? With just my patch above, my x200 keyboard is stuck.

[AlmuHS]

I haven't test It in real hardware yet. But, in Qemu, the tty don't reply to keyboard. My thread_info patch is for another problem: I want to know what processor runs every thread El Martes 29 de octubre de 2019, Damien Zammit escribió:

…

Hey @AlmuHS, did your recent thread_info thing fix the problem with keyboard interrupts? With just my patch above, my x200 keyboard is stuck. -- You are receiving this because you were mentioned. Reply to this email directly or view it on GitHub: #9 (comment)

-- Enviado desde mi dispositivo Sailfish