[SCM] GNU Mach branch, master, updated. v1.8-874-ga251b156

[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  a251b15660097c37892bf510f0c9979a4ec196f2 (commit)
       via  759acbf16bc9215e0ae29dde84d223eaa8b1678e (commit)
      from  43f2a52a6a00904f90a19fb178935cd16a7ced23 (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 a251b15660097c37892bf510f0c9979a4ec196f2
Author: Samuel Thibault <samuel.thibault@ens-lyon.org>
Date:   Mon Mar 4 00:18:37 2024 +0100

    x86_64 locore: Check segmentation by hand
    
    x86_64 ignores the segmentation limit, so we have to check it by hand
    when accessing userland pointers.
    
    Reported-by: Sergey Bugaev <bugaevc@gmail.com>

commit 759acbf16bc9215e0ae29dde84d223eaa8b1678e
Author: Samuel Thibault <samuel.thibault@ens-lyon.org>
Date:   Sun Mar 3 23:52:10 2024 +0100

    pmap: Avoid leaking USER bit in page tables
    
    We should only set USER
    - for user processes maps
    - for 32bit Xen support
    
    This was not actually posing problem since in 32bit segmentation
    protects us, and in 64bit the l4 entry for the kernel is already set.
    But better be safe than sorry.

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

Summary of changes:
 i386/intel/pmap.c | 11 ++++++-----
 x86_64/locore.S   | 20 ++++++++++++++++++++
 2 files changed, 26 insertions(+), 5 deletions(-)


hooks/post-receive
-- 
GNU Mach