The oskit_guid in your i8042 patch is already used by the socket
interface (oskit/net/socket.h).
#define OSKIT_STREAMDEV_IID OSKIT_GUID(0x4aa7dfad, 0x7c74, 0x11cf, \
0xb5, 0x00, 0x08, 0x00, 0x09, 0x53, 0xad, 0xc2)
#define OSKIT_SOCKET_IID OSKIT_GUID(0x4aa7dfad, 0x7c74, 0x11cf, \
0xb5, 0x00, 0x08, 0x00, 0x09, 0x53, 0xad, 0xc2)
Next unused would be 4aa7e00c-7c74-11cf-b500-08000953adc2 (oskit/dev/GUID):
...
4aa7e005-7c74-11cf-b500-08000953adc2 oskit_mib_tcp
4aa7e006-7c74-11cf-b500-08000953adc2 oskit_mib_udp
4aa7e007-7c74-11cf-b500-08000953adc2 oskit_mib_egp
4aa7e008-7c74-11cf-b500-08000953adc2 oskit_mib_dot3
4aa7e009-7c74-11cf-b500-08000953adc2 oskit_mib_snmp
4aa7e00a-7c74-11cf-b500-08000953adc2 oskit_entropy
4aa7e00b-7c74-11cf-b500-08000953adc2 oskit_entropychannel
daniel
_______________________________________________
Bug-hurd mailing list
[EMAIL PROTECTED]
http://mail.gnu.org/mailman/listinfo/bug-hurd
