#define swap_map(x) ((uint8_t *)(x))
#define CONFIG_IDE
+#define platform_copyright()
#define NMOUNTS 4 /* Number of mounts at a time */
#define platform_discard()
+#define platform_copyright()
#define NMOUNTS 4 /* Number of mounts at a time */
extern void platform_discard(void);
+#define platform_copyright()
#define NMOUNTS 2 /* Number of mounts at a time */
#define platform_discard()
+#define platform_copyright()
#define swap_map(x) ((uint8_t *)(x))
#define platform_discard()
+#define platform_copyright()
#define CONFIG_DYNAMIC_BUFPOOL
extern void platform_discard(void);
+#define platform_copyright()
#define swap_map(x) (uint8_t *)(0x4000 + ((x) & 0x3FFF)) /* For now */
#define platform_discard()
+#define platform_copyright()
#define TTY_INIT_BAUD B115200 /* Hardwired generally */
#define TTYDEV BOOT_TTY /* Device used by kernel for messages, panics */
+
+#define platform_copyright()
#define NBUFS 10 /* Number of block buffers */
#define NMOUNTS 4 /* Number of mounts at a time */
+#define platform_copyright()
#define TTY_INIT_BAUD B115200 /* Hardwired generally */
#define TTYDEV BOOT_TTY /* Device used by kernel for messages, panics */
+
+#define platform_copyright()
#define CONFIG_DYNAMIC_BUFPOOL
extern void platform_discard(void);
+#define platform_copyright()
#define NMOUNTS 3 /* Number of mounts at a time */
extern void platform_discard(void);
+#define platform_copyright()
#define NMOUNTS 4 /* Number of mounts at a time */
extern unsigned int swap_dev;
+
+#define platform_copyright()
#define NMOUNTS 2 /* Number of mounts at a time */
#define platform_discard()
+#define platform_copyright()
#define UFTSIZE 16
#define OFTSIZE 160
#define ITABSIZE 176
+
+#define platform_copyright()
#define OFTSIZE 24
#define ITABSIZE 32
+
+#define platform_copyright()
#define NMOUNTS 4 /* Number of mounts at a time */
#define platform_discard()
+#define platform_copyright()
#define NMOUNTS 4 /* Number of mounts at a time */
#define platform_discard()
+#define platform_copyright()