Re: gnumach, new device

[Gianluca Guida]

Hey,

On 1/8/06, Samuel Thibault <samuel.thibault@ens-lyon.org> wrote:
> Agreed.  Here is an updated patch

That's quite cool. Thanks.

Just another thing:

Index: device/io.c
===================================================================
RCS file: device/io.c
diff -N device/io.c
--- /dev/null   1 Jan 1970 00:00:00 -0000
+++ device/io.c 8 Jan 2006 18:17:24 -0000
@@ -0,0 +1,55 @@
+/*
+ * Mach Operating System
+ * Copyright (c) 1993-1988 Carnegie Mellon University
+ * All Rights Reserved.

I guess you should put a proper copyright comment. Included the real
GPL comment.

Sorry for bothering. :)

--
It was a type of people I did not know, I found them very strange and
they did not inspire confidence at all. Later I learned that I had been
introduced to electronic engineers.
                                                  E. W. Dijkstra