[SCM] GNU Mach branch, master, updated. v1.8-100-g5a5ab8f

[Samuel Thibault]

This is an automated email from the git hooks/post-receive script. It was
generated because a ref change was pushed to the repository containing
the project "GNU Mach".

The branch, master has been updated
       via  5a5ab8ff921d7e9e45e37a5ef8058d8dff1e76f2 (commit)
      from  c69f7f3b5cdc6cf9367507478578dc5c875c2b74 (commit)

Those revisions listed above that are new to this repository have
not appeared on any other notification email; so we list those
revisions in full, below.

- Log -----------------------------------------------------------------
commit 5a5ab8ff921d7e9e45e37a5ef8058d8dff1e76f2
Author: Samuel Thibault <address@hidden>
Date:   Sun Nov 10 12:57:03 2019 +0100

    Xen: fix boot
    
    Xen seems to want a whole page for the PAE pdp.
    
    * i386/intel/pmap.c (pmap_init): Make pdpt cache use page-size
    allocation.

-----------------------------------------------------------------------

Summary of changes:
 i386/intel/pmap.c | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)


hooks/post-receive
-- 
GNU Mach