[SCM] GNU Mach branch, master, updated. v1.8-181-gc41d543

[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  c41d54362d15d0c0c2a049c384c134134a3415f0 (commit)
      from  b4ee23b7445a74c06dd5a2368f78250f5ca57548 (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 c41d54362d15d0c0c2a049c384c134134a3415f0
Author: Samuel Thibault <address@hidden>
Date:   Sun Apr 5 23:02:13 2020 +0200

    Xen x86_64: Fix getting page table base
    
    * i386/intel/pmap.c (pmap_bootstrap): Reload base from boot_info at each
    loop.

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

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


hooks/post-receive
-- 
GNU Mach