Fixed tab; fixed platform name

Author: danielinux

frosted/input.c

@@ -181,14 +181,10 @@ char *readline_tty(char *input, int size, char *prompt)
 
             /* tab */
             if ((got[0] == 0x09)) {
-                input[len] = 0;
-                printf("\r\n");
-                printf("Built-in commands: \r\n");
-                printf("\t cd getenv pwd setenv");
-                printf("\r\n");
-                fputs(prompt, stdout);
-                fflush(stdout);
-                printf("%s", input);
+                memset(input + len, ' ', 4);
+                printf("    ");
+                pos+=4;
+                len+=4;
                 fflush(stdout);
                 continue;
             }

frosted/mpconfigport_minimal.h

@@ -77,9 +77,9 @@
 #define MICROPY_PY_IO               (0)
 #define MICROPY_PY_IO_FILEIO        (0)
 #define MICROPY_PY_STRUCT           (0)
-#define MICROPY_PY_SYS              (1)
+#define MICROPY_PY_SYS              (0)
 #define MICROPY_PY_SYS_EXIT         (0)
-#define MICROPY_PY_SYS_PLATFORM     "linux"
+#define MICROPY_PY_SYS_PLATFORM     "frosted"
 #define MICROPY_PY_SYS_MAXSIZE      (0)
 #define MICROPY_PY_SYS_STDFILES     (0)
 #define MICROPY_PY_CMATH            (0)