Ignore:
Timestamp:
Jun 26, 2017, 11:48:28 AM (5 years ago)
Author:
max@…
Message:

Use mcmodel=large, in order to have a kernel image that is located at the
beginning of each cluster in virtual memory, as discussed with Alain. The
performance cost will be taken care of later.

Now, the active kernel is located at 0xfffff00000000000, and the base of
the clusters is 0xffff800000000000.

File:
1 edited

Legend:

Unmodified
Added
Removed
  • trunk/hal/x86_64/x86_printf.c

    r39 r47  
    214214                                x86_printf("0x%s", buf);
    215215                        } else if (c == 's') {
    216                                 x86_printf((char *) va_arg(ap, int));
     216                                x86_printf((char *) va_arg(ap, uint64_t));
    217217                        }
    218218                } else
Note: See TracChangeset for help on using the changeset viewer.