acpi crashing endlessly on shutdown

Hello, when I shutdown my system, I get this error /hurd/crash: /hurd/acpi(...) crashed, signal {no:11, code:1, error:1}, exception {1, code:1, subcode:487424}, PCs:{0x1160c23, 0x10c029c}, writing core file. printed repeatedly forever, with a positive number inside the first round paren

[PATCH] Change variable name from spd to det in ahci.c, to reflect specs

Hello, while working on this bug (https://mail.gnu.org/archive/html/help-hurd/2020-12/msg3.html) and reading the AHCI specification, I found out that a variable is named incorrectly though used properly. The correct name is det, while spd is another field. Maybe it's worth correcting for co

[PATCH] Remove spurious semicolon in fpu.c

Hello, this spurious semicolon made my system always panic at boot. Warmly, Andrea Monaco diff --git a/i386/i386/fpu.c b/i386/i386/fpu.c index b9dff733..a8459d65 100644 --- a/i386/i386/fpu.c +++ b/i386/i386/fpu.c @@ -191,7 +191,7 @@ init_fpu(void) ecx = 0x0;

Re: [PATCH] Add multiboot2 header

> Maybe before grub-mkconfig: GRUB_GFXPAYLOAD_LINUX > or using e to edit boot configuration and add: > https://www.gnu.org/software/grub/manual/grub/grub.html#gfxpayload > they say it set the video mode in which Linux is started... but > maybe it would apply to Mach too. I tried, but i

Re: [PATCH] Add multiboot2 header

> grub does find both headers indeed, but that doesn't boot, it says > " > error: you need to load the kernel first. > " > as if it doesn't recognize the gnumach file as being a proper ELF kernel > file. Thanks for testing! I get the same message when using "multiboot2". In my case I

[PATCH] Add multiboot2 header

Hello, while trying to figure out uefi, I wrote a multiboot2 header. It's an exercise, but I'll share it anyway. I think that keeping both headers is ok, because they are very small and have different magic numbers. You can choose which one to use at grub2, since "multiboot" and "multiboot2" a

Re: Making an ISO that boot in UEFI

same message from grub2: "warning: no console will be available to os". -- Andrea G. Monaco Hacker, mathematician, lgbt+ activist "Hope will never be silent!", H. Milk

Re: Can't boot GNU Mach with efi

> Mach doesn't initialize text mode itself indeed. Okay, Mach has no framebuffer console like fbcon in Linux, right? Then maybe the only option is switching back to text mode. -- Andrea G. Monaco Hacker, mathematician, lgbt+ activist "Hope will never be silent!", H. Milk

[PATCH] Possible off-by-one error

noisy) char*type = "8250"; int i; - if ((unit < 0) || (unit > NCOM)) { + if ((unit < 0) || (unit >= NCOM)) { printf("com %d out of range\n", unit); return(0); } -- Andrea G. Monaco Hacke

GNU Mach doesn't work with EFI

Hello, it seems that GNU Mach doesn't work with EFI. It's not that I'm fond of EFI, in fact I hate it because it makes booting so difficult, but right now I have only an EFI system available. Also, I heard that many boot firmwares nowadays have only EFI and no BIOS, or they just provide a very p

_Static_assert in fpu.c should also take a string

Hello, I'm trying to compile GNU Mach but it aborts because the file i386/i386/fpu.c contains these calls _Static_assert(sizeof(struct i386_xfp_xstate_header) == 8*8); _Static_assert(sizeof(struct i386_xfp_save) == 512 + 8*8); which are the only two calls two _Static_assert I found with grep in