[SCM] GNU Mach branch, master-user_level_drivers-debian, updated. v1.8-203-g19283fd

[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-user_level_drivers-debian has been updated
       via  19283fdffa782b2e485ef39e0de1574006ec4a1a (commit)
       via  640b447be65d4cbdafa3b7f9c4317fd8d9a6ae33 (commit)
       via  987a93875577af05b2c8c6f16a1f479ba193d0d9 (commit)
       via  eae1961fc21a7c7ebaf2925472631ac404045ab7 (commit)
       via  2174deab670da368367d64463b8fa6b82b5be44f (commit)
       via  28b53508aa4cd06933fa1bcbbaa791ad12ecbf51 (commit)
       via  4adf780d61796c45f58100ed15d9c9a0a3c562fc (commit)
       via  5cd316231c1f67366fda26fb302ace306ca3de3f (commit)
       via  fd616c866c22883362886a497311fa7582d3664d (commit)
      from  28f3f7153bc72b18d08edcbdd9ef2051396192b1 (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 19283fdffa782b2e485ef39e0de1574006ec4a1a
Merge: 987a938 640b447
Author: Samuel Thibault <address@hidden>
Date:   Mon Mar 9 21:47:10 2020 +0100

    Merge branch 'master-user_level_drivers' into 
master-user_level_drivers-debian

commit 987a93875577af05b2c8c6f16a1f479ba193d0d9
Merge: 28f3f71 eae1961
Author: Samuel Thibault <address@hidden>
Date:   Mon Mar 9 21:46:19 2020 +0100

    Merge branch 'master-user_level_drivers' into 
master-user_level_drivers-debian

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

Summary of changes:
 Makefile.am                       |  2 +-
 Makefrag.am                       |  6 ++++--
 device/intr.c                     |  8 ++++----
 {include/device => device}/intr.h | 11 ++---------
 doc/mach.texi                     |  2 ++
 i386/i386/fpu.c                   |  8 ++++----
 include/device/notify.h           | 34 ++++++++++++++++++++++++++++++++++
 include/sys/types.h               |  2 +-
 kern/startup.c                    |  7 ++++++-
 9 files changed, 58 insertions(+), 22 deletions(-)
 rename {include/device => device}/intr.h (81%)
 create mode 100644 include/device/notify.h


hooks/post-receive
-- 
GNU Mach