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 "the great next stuff".
The branch, dde has been updated
via e223d3e4d76cf09aa74809c92e07f8b8dd0b4c28 (commit)
from 8abf5bbce3c7bdc1a4ad5081d2b5d4efa493957d (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 e223d3e4d76cf09aa74809c92e07f8b8dd0b4c28
Author: Damien Zammit <[email protected]>
Date: Sat Jul 18 21:26:09 2020 +0200
libddekit: Use upstream user driver RPCs
This requires gnumach with 6054cda4de23 ("Add hardware interrupt
notification mechanism")
-----------------------------------------------------------------------
Summary of changes:
libddekit/Makefile | 3 +--
libddekit/interrupt.c | 48 +++++++++++++++++++++++-------------------------
libddekit/memory.c | 7 ++++---
3 files changed, 28 insertions(+), 30 deletions(-)
hooks/post-receive
--
the great next stuff
