2 * Copyright © 2016 Keith Packard <keithp@keithp.com>
4 * This program is free software; you can redistribute it and/or modify
5 * it under the terms of the GNU General Public License as published by
6 * the Free Software Foundation, either version 2 of the License, or
7 * (at your option) any later version.
9 * This program is distributed in the hope that it will be useful, but
10 * WITHOUT ANY WARRANTY; without even the implied warranty of
11 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
12 * General Public License for more details.
19 extern uint8_t __flash__[] __attribute__((aligned(4)));
21 /* saved variables to rebuild the heap
32 for (i = 0; i < AO_LISP_POOL_TOTAL; i += 256) {
33 uint32_t *dst = (uint32_t *) (void *) &__flash__[i];
34 uint32_t *src = (uint32_t *) (void *) &ao_lisp_pool[i];
36 ao_flash_page(dst, src);
42 ao_lisp_os_restore_save(struct ao_lisp_os_save *save, int offset)
44 memcpy(save, &__flash__[offset], sizeof (struct ao_lisp_os_save));
49 ao_lisp_os_restore(void)
51 memcpy(ao_lisp_pool, __flash__, AO_LISP_POOL_TOTAL);