Fixed some minor issues with the NOTIFY call.

drivers/libdriver/driver.c

@@ -148,8 +148,6 @@ PRIVATE void init_buffer()
 	tmp_buf += left;
 	tmp_phys += left;
   }
-#else /* CHIP != INTEL */
-  tmp_phys = vir2phys(tmp_buf);
 #endif /* CHIP != INTEL */
 }
 

drivers/libdriver/drvlib.c

@@ -6,6 +6,7 @@
 
 #include "driver.h"
 #include "drvlib.h"
+#include <unistd.h>
 
 /* Extended partition? */
 #define ext_part(s)	((s) == 0x05 || (s) == 0x0F)
@@ -161,6 +162,9 @@ struct part_entry *table;	/* four entries */
 
   /* Read the partition table at 'offset'. */
   if (proc_nr == NONE) {
+#if DEAD_CODE
+  	if ((s=getprocnr(&proc_nr)) != OK) {
+#endif
   	if ((s=sys_getprocnr(&proc_nr,0,0)) != OK) {
 		printf("%s: can't get own proc nr: %d\n", (*dp->dr_name)(), s);
 		return(0);

drivers/tty/console.c

@@ -869,8 +869,9 @@ message *m;
   int r;
 
   /* Try to get a fresh copy of the buffer with kernel messages. */
+  r=0;
   if ((r=sys_getkmessages(&kmess)) != OK) {
-  	printf("TTY: couldn't get copy of kmessages: %d\n", r);
+  	printf("TTY: couldn't get copy of kmessages: %d, 0x%x\n", r,r);
   	return;
   }