cortexelf: Add lisp interpreter
authorKeith Packard <keithp@keithp.com>
Sun, 2 Apr 2017 22:53:17 +0000 (15:53 -0700)
committerKeith Packard <keithp@keithp.com>
Sun, 2 Apr 2017 22:53:17 +0000 (15:53 -0700)
Signed-off-by: Keith Packard <keithp@keithp.com>
src/cortexelf-v1/Makefile
src/cortexelf-v1/ao_cortexelf.c
src/cortexelf-v1/ao_lisp_os.h [new file with mode: 0644]
src/cortexelf-v1/ao_lisp_os_save.c [new file with mode: 0644]
src/cortexelf-v1/cortexelf.ld [new file with mode: 0644]

index 02ef817e1718485deb36dd0c00ae3492b881332d..66f18045a7118929869fb5e4abc7d7d3bfd2dba1 100644 (file)
@@ -4,7 +4,7 @@
 #
 
 include ../stm/Makefile.defs
-LDFLAGS=-L../stm -Wl,-Taltos-512.ld
+LDFLAGS=-L../stm -Wl,-Tcortexelf.ld
 
 INC = \
        ao.h \
@@ -25,6 +25,9 @@ INC = \
        ao_draw_int.h \
        ao_font.h \
        ao_ps2.h \
+       ao_lisp.h \
+       ao_lisp_const.h \
+       ao_lisp_os.h \
        Makefile
 
 
@@ -64,6 +67,24 @@ ALTOS_SRC = \
        ao_sdcard.c \
        ao_bufio.c \
        ao_fat.c \
+       ao_flash_stm.c \
+       ao_lisp_lex.c \
+       ao_lisp_mem.c \
+       ao_lisp_cons.c \
+       ao_lisp_eval.c \
+       ao_lisp_string.c \
+       ao_lisp_atom.c \
+       ao_lisp_int.c \
+       ao_lisp_poly.c \
+       ao_lisp_builtin.c \
+       ao_lisp_read.c \
+       ao_lisp_rep.c \
+       ao_lisp_frame.c \
+       ao_lisp_error.c \
+       ao_lisp_lambda.c \
+       ao_lisp_save.c \
+       ao_lisp_stack.c \
+       ao_lisp_os_save.c \
        $(PROFILE) \
        $(SAMPLE_PROFILE) \
        $(STACK_GUARD)
@@ -83,7 +104,7 @@ OBJ=$(SRC:.c=.o)
 
 all: $(PROG) $(HEX)
 
-$(PROG): Makefile $(OBJ) altos-512.ld
+$(PROG): Makefile $(OBJ) cortexelf.ld
        $(call quiet,CC) $(LDFLAGS) $(CFLAGS) -o $(PROG) $(OBJ) $(LIBS)
 
 ../altitude-pa.h: make-altitude-pa
index 0c6852d96a88c2f98cde2889cda268773c7fd1f5..1dc0a4be0180fc0d33f8784e9ca1e07abe9d4174 100644 (file)
@@ -27,6 +27,7 @@
 #include <ao_console.h>
 #include <ao_sdcard.h>
 #include <ao_fat.h>
+#include <ao_lisp.h>
 
 struct ao_task ball_task;
 
@@ -182,11 +183,16 @@ ao_console_send(void)
        }
 }
 
+static void lisp_cmd() {
+       ao_lisp_read_eval_print();
+}
+
 __code struct ao_cmds ao_demo_cmds[] = {
        { ao_video_toggle, "V\0Toggle video" },
        { ao_ball_toggle, "B\0Toggle ball" },
        { ao_ps2_read_keys, "K\0Read keys from keyboard" },
        { ao_console_send, "C\0Send data to console, end with ~" },
+       { lisp_cmd, "l\0Run lisp interpreter" },
        { 0, NULL }
 };
 
diff --git a/src/cortexelf-v1/ao_lisp_os.h b/src/cortexelf-v1/ao_lisp_os.h
new file mode 100644 (file)
index 0000000..d0c1f7b
--- /dev/null
@@ -0,0 +1,65 @@
+/*
+ * Copyright © 2016 Keith Packard <keithp@keithp.com>
+ *
+ * This program is free software; you can redistribute it and/or modify
+ * it under the terms of the GNU General Public License as published by
+ * the Free Software Foundation; version 2 of the License.
+ *
+ * This program is distributed in the hope that it will be useful, but
+ * WITHOUT ANY WARRANTY; without even the implied warranty of
+ * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU
+ * General Public License for more details.
+ *
+ * You should have received a copy of the GNU General Public License along
+ * with this program; if not, write to the Free Software Foundation, Inc.,
+ * 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA.
+ */
+
+#ifndef _AO_LISP_OS_H_
+#define _AO_LISP_OS_H_
+
+#include "ao.h"
+
+#define AO_LISP_POOL_TOTAL             16384
+#define AO_LISP_SAVE                   1
+
+static inline int
+ao_lisp_getc() {
+       static uint8_t  at_eol;
+       int c;
+
+       if (at_eol) {
+               ao_cmd_readline();
+               at_eol = 0;
+       }
+       c = ao_cmd_lex();
+       if (c == '\n')
+               at_eol = 1;
+       return c;
+}
+
+static inline void
+ao_lisp_os_flush(void)
+{
+       flush();
+}
+
+static inline void
+ao_lisp_abort(void)
+{
+       ao_panic(1);
+}
+
+static inline void
+ao_lisp_os_led(int led)
+{
+       (void) led;
+}
+
+static inline void
+ao_lisp_os_delay(int delay)
+{
+       ao_delay(AO_MS_TO_TICKS(delay));
+}
+
+#endif
diff --git a/src/cortexelf-v1/ao_lisp_os_save.c b/src/cortexelf-v1/ao_lisp_os_save.c
new file mode 100644 (file)
index 0000000..7c85399
--- /dev/null
@@ -0,0 +1,53 @@
+/*
+ * Copyright © 2016 Keith Packard <keithp@keithp.com>
+ *
+ * This program is free software; you can redistribute it and/or modify
+ * it under the terms of the GNU General Public License as published by
+ * the Free Software Foundation, either version 2 of the License, or
+ * (at your option) any later version.
+ *
+ * This program is distributed in the hope that it will be useful, but
+ * WITHOUT ANY WARRANTY; without even the implied warranty of
+ * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU
+ * General Public License for more details.
+ */
+
+#include <ao.h>
+#include <ao_lisp.h>
+#include <ao_flash.h>
+
+extern uint8_t __flash__[];
+
+/* saved variables to rebuild the heap
+
+   ao_lisp_atoms
+   ao_lisp_frame_global
+ */
+
+int
+ao_lisp_os_save(void)
+{
+       int i;
+
+       for (i = 0; i < AO_LISP_POOL_TOTAL; i += 256) {
+               uint32_t        *dst = (uint32_t *) (void *) &__flash__[i];
+               uint32_t        *src = (uint32_t *) (void *) &ao_lisp_pool[i];
+
+               ao_flash_page(dst, src);
+       }
+       return 1;
+}
+
+int
+ao_lisp_os_restore_save(struct ao_lisp_os_save *save, int offset)
+{
+       memcpy(save, &__flash__[offset], sizeof (struct ao_lisp_os_save));
+       return 1;
+}
+
+int
+ao_lisp_os_restore(void)
+{
+       memcpy(ao_lisp_pool, __flash__, AO_LISP_POOL_TOTAL);
+       return 1;
+}
diff --git a/src/cortexelf-v1/cortexelf.ld b/src/cortexelf-v1/cortexelf.ld
new file mode 100644 (file)
index 0000000..6ad2a67
--- /dev/null
@@ -0,0 +1,101 @@
+/*
+ * Copyright © 2017 Keith Packard <keithp@keithp.com>
+ *
+ * This program is free software; you can redistribute it and/or modify
+ * it under the terms of the GNU General Public License as published by
+ * the Free Software Foundation; either version 2 of the License, or
+ * (at your option) any later version.
+ *
+ * This program is distributed in the hope that it will be useful, but
+ * WITHOUT ANY WARRANTY; without even the implied warranty of
+ * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU
+ * General Public License for more details.
+ *
+ * You should have received a copy of the GNU General Public License along
+ * with this program; if not, write to the Free Software Foundation, Inc.,
+ * 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA.
+ */
+
+MEMORY {
+       rom (rx) :      ORIGIN = 0x08001000, LENGTH = 492K
+       flash (r) :     ORIGIN = 0x0807c000, LENGTH = 16K
+       ram (!w) :      ORIGIN = 0x20000000, LENGTH = 81408
+       stack (!w) :    ORIGIN = 0x20013e00, LENGTH = 512
+}
+
+INCLUDE registers.ld
+
+EXTERN (stm_interrupt_vector)
+
+SECTIONS {
+       /*
+        * Rom contents
+        */
+
+       .text ORIGIN(rom) : {
+               __text_start__ = .;
+               *(.interrupt)   /* Interrupt vectors */
+
+               . = ORIGIN(rom) + 0x100;
+
+
+               /* Ick. What I want is to specify the
+                * addresses of some global constants so
+                * that I can find them across versions
+                * of the application. I can't figure out
+                * how to make gnu ld do that, so instead
+                * we just load the two files that include
+                * these defines in the right order here and
+                * expect things to 'just work'. Don't change
+                * the contents of those files, ok?
+                */
+               ao_romconfig.o(.romconfig*)
+               ao_product.o(.romconfig*)
+               *(.text*)       /* Executable code */
+               *(.rodata*)     /* Constants */
+
+       } > rom
+
+       .ARM.exidx : {
+               *(.ARM.exidx* .gnu.linkonce.armexidx.*)
+       } > rom
+       __text_end__ = .;
+
+       /* Boot data which must live at the start of ram so that
+        * the application and bootloader share the same addresses.
+        * This must be all uninitialized data
+        */
+       .boot (NOLOAD) : {
+               __boot_start__ = .;
+               *(.boot)
+               . = ALIGN(4);
+               __boot_end__ = .;
+       } >ram
+
+       /* Data -- relocated to RAM, but written to ROM
+        */
+       .data : {
+               __data_start__ = .;
+               *(.data)        /* initialized data */
+               . = ALIGN(4);
+               __data_end__ = .;
+       } >ram AT>rom
+
+       .bss : {
+               __bss_start__ = .;
+               *(.bss)
+               *(COMMON)
+               . = ALIGN(4);
+               __bss_end__ = .;
+       } >ram
+
+       PROVIDE(end = .);
+
+       PROVIDE(__stack__ = ORIGIN(stack) + LENGTH(stack));
+
+       __flash__ = ORIGIN(flash);
+}
+
+ENTRY(start);
+
+