Re: [Bug-hurd] oskit 20000901 boots, however, crashes on kernel page fault

[Neal H Walfield]

Something must be wrong mapping the bios:

101     /*
         * Check if the machine has an EISA bus.
         */
        /* Map the 128k BIOS region.  kvtophys() should equate
         * BIOS_START & PHYS_BIOS_START, but just in case, we
105      * track them both.
         */
        if (osenv_mem_map_phys(PHYS_BIOS_START, BIOS_SIZE,
                        (void**)&BIOS_START, 0))
                panic("linux_init: unable to map physical memory");
110     osenv_log(OSENV_LOG_DEBUG, "BIOS mapped to 0x%x\n", BIOS_START);
        kaddr = (void *) (BIOS_START + trunc_page(0xFFFD9) - PHYS_BIOS_START);

oskit-20000202 has:
  kaddr == 0xff000
oskit-2000901 has:
  kaddr == 0xff000

<<snip>>

124     /*
125      * Initialize drive info.
126      */
127     if (osenv_mem_map_phys(0, PAGE_SIZE, &kaddr, 0))
128             panic("%s:%d: unable to map phys memory", __FILE__, __LINE__);

oskit-20000202 has:
  kaddr == 0xdadf000
however oskit-2000901 has:
  kaddr == NULL

129     x = *((unsigned *)(kaddr + 0x104));
130     addr = ((x >> 12) & 0xFFFF0) + (x & 0xFFFF);
131     if (osenv_mem_map_phys(trunc_page(addr), PAGE_SIZE, (void **)&x, 0))
132             panic("%s:%d: unable to map phys memory", __FILE__, __LINE__);

-- 
Neal H Walfield
University of Massachusetts at Lowell
neal@walfield.org or nwalfiel@cs.uml.edu