Index: trunk/i386/libsaio/console.c
===================================================================
--- trunk/i386/libsaio/console.c	(revision 1050)
+++ trunk/i386/libsaio/console.c	(revision 1051)
@@ -263,6 +263,5 @@
 void pause() 
 {
     printf("Press a key to continue...\n");
-	getchar(); //getc(); //Azi: getc works here because the function is up above; changed for now.
-	// replace getchar() by pause() ??
+	getchar(); // replace getchar() by pause() ?? were useful...?
 }
Index: trunk/i386/libsa/prf.c
===================================================================
--- trunk/i386/libsa/prf.c	(revision 1050)
+++ trunk/i386/libsa/prf.c	(revision 1051)
@@ -93,7 +93,7 @@
 void prf(
 	char *fmt,
 	unsigned int *adx,
-	int (*putfn_p)(),
+	int  (*putfn_p)(),
 	void *putfn_arg
 )
 {
Index: trunk/i386/libsa/memory.h
===================================================================
--- trunk/i386/libsa/memory.h	(revision 1050)
+++ trunk/i386/libsa/memory.h	(revision 1051)
@@ -48,21 +48,21 @@
 # define BASE_SEG          BOOT2_SEG
 #endif
 
-#define STACK_SEG         0x1000      // zef: old STACK_SEG 0x5000
-#define STACK_OFS         0xFFF0      // stack pointer
+#define STACK_SEG			0x1000	// zef: old STACK_SEG 0x5000
+#define STACK_OFS			0xFFF0	// stack pointer
 
-#define BOOT1U_SEG        0x1000
-#define BOOT1U_OFS        0x0200
+#define BOOT1U_SEG			0x1000
+#define BOOT1U_OFS			0x0200
 
-#define BOOT2_SEG         0x2000
-#define BOOT2_OFS         0x0200      // 512 byte disk sector offset
+#define BOOT2_SEG			0x2000
+#define BOOT2_OFS			0x0200	// 512 byte disk sector offset
 
-#define BOOT2_MAX_LENGTH  0x6FE00     // Maximum size for boot2 is currentl 447kb
+#define BOOT2_MAX_LENGTH	0x6FE00	// Maximum size for boot2 is currentl 447kb
 
-#define BIOS_ADDR         0x8000      // BIOS disk I/O buffer
-#define BIOS_LEN          0x8000      // 32K - divisible by 512 and 2048
+#define BIOS_ADDR			0x8000	// BIOS disk I/O buffer
+#define BIOS_LEN			0x8000	// 32K - divisible by 512 and 2048
 
-#define BOOT0_ADDR        0x7E00      // boot0 gets loaded here
+#define BOOT0_ADDR			0x7E00	// boot0 gets loaded here
 
 
 /* These are all "virtual" addresses...