1 files changed, 13 insertions, 0 deletions
diff --git a/shell/config.h b/shell/config.h
new file mode 100644
index 0000000..0461f88
--- /dev/null
+++ b/shell/config.h
@@ -0,0 +1,13 @@
+/*
+ *  Extra configuration for telnet/shell
+ *
+ *  $Id$
+ */
+
+#define CONFIGURE_MAXIMUM_PTYS             8
+
+#define CONFIGURE_STACK_CHECKER_ENABLED
+
+#define ADA_APPLICATION_NEEDS_EXTRA_MEMORY 256
+
+#define CONFIGURE_MAXIMUM_DRIVERS 10