Re: Fwd: Hurd shutdown problems

[Richard Braun]

On Tue, Aug 09, 2016 at 03:37:00PM -1000, Brent W. Baccala wrote:
> GDB on the kernel shows a seemingly corrupted ELF symbol table when
> elf_db_search_symbol() is called.

The symbol table is preserved by the early allocation code
(see biosmem.c) and should normally never be touched. But I've
just noticed that we don't request page-aligned modules from
the boot loader (see MULTIBOOT_FLAGS in boothdr.S), and at
some point, late during the boot process, module data are freed
using (see free_bootstrap_pages in bootstrap.c). This might
explain the corruptions.

-- 
Richard Braun