altos: Allow applications to define LEDs for ao_report.c

In case they don't have both a red and green LED.

Signed-off-by: Keith Packard <keithp@keithp.com>

altos/stmf0: Allow projects to not use the USB boot loader

Let applications define HAS_BOOT_LOADER on their own if desired.

Signed-off-by: Keith Packard <keithp@keithp.com>

altos/stmf0: Complain if the SPI configuration isn't complete

If the pin usage values SPI_1_PA5_PA6_PA7 or SPI_1_PB3_PB4_PB5 aren't
defined, then the speed values for the pins aren't going to get set
correctly, which results in erratic SPI behaviour.

Signed-off-by: Keith Packard <keithp@keithp.com>

altos/stmf0: Allow apps to leave interrupt vectors at 0

TeleMini v3.0 doesn't need a boot loader, so we'll have the app run
its interrupt vector right at the bottom of the address space instead
of copying it to the bottom of ram and reconfiguring the chip to use that.

Signed-off-by: Keith Packard <keithp@keithp.com>

ao-bringup: test-chaoskey needs to use the SerialNumber dmesg line

I had a locally hacked kernel which was reporting the serial number
along with the device name. Instead of depending on that, just look
for the regular SerialNumber report which is in all kernel versions

Signed-off-by: Keith Packard <keithp@keithp.com>

ao-bringup: Allow serial number on turnon_easymega cmdline

This makes it a bit quicker to do a batch of them.

Signed-off-by: Keith Packard <keithp@keithp.com>

altos: Eliminate printf format warning with long vs int

Signed-off-by: Keith Packard <keithp@keithp.com>

altos/chaoskey: use both halves of the CRC

When pulling 16 bits from the 32-bit crc, instead of just using the
low bits, xor the two halves together. This appears to even out the
number of zero and one bits.

Signed-off-by: Keith Packard <keithp@keithp.com>

altos/lisp: Start adding scheme symbols

Migrating to something more like scheme

Signed-off-by: Keith Packard <keithp@keithp.com>

altos/lisp: Add casts to keep the latest GCC from whinging

Something about alignment issues.

Signed-off-by: Keith Packard <keithp@keithp.com>

altos/lisp: Tell compiler that the two lisp memory pools are aligned

Otherwise, it will generate unaligned accesses to things fetched from
them. Sigh.

Signed-off-by: Keith Packard <keithp@keithp.com>

altos/lisp: Clean up hanoi.lisp demo a bit

No serious changes.

Signed-off-by: Keith Packard <keithp@keithp.com>

altos/lisp: Move stack recursion check after null check

Don't crash when printing null stack this way.

Signed-off-by: Keith Packard <keithp@keithp.com>

altos/lisp: Include memory stats for test program

Signed-off-by: Keith Packard <keithp@keithp.com>

altos/lisp: Cleanup some DBG defines

Get rid of the remaining duplicate defines.

Signed-off-by: Keith Packard <keithp@keithp.com>

altos/lisp: Share binary search for memory chunk between mark and move

Save some text space.

Signed-off-by: Keith Packard <keithp@keithp.com>

altos/lisp: Add builtin 'collect'

Collect memory, return amount free.

Signed-off-by: Keith Packard <keithp@keithp.com>

altos/lisp: Sort frames by atom

Fortunately, the collector always retains the relative order between
addresses, so we can sort based on the atom address itself. This
reduces the time spent looking for names in larger (e.g. global)
frames.

Signed-off-by: Keith Packard <keithp@keithp.com>

altos/lisp: Build new ao_lisp_stack.c into test and lambdakey

Helpful to include the new source file.

Signed-off-by: Keith Packard <keithp@keithp.com>

altos/lisp: bounds check in move_map plus binary search

This makes move_map faster by skipping all addresses which aren't
changing.

Also changed the interface from address to offset to avoid computing
the offset multiple times.

Signed-off-by: Keith Packard <keithp@keithp.com>

altos/lisp: Empty lambda body is not an error

It's not very exciting, but it's still legal

Signed-off-by: Keith Packard <keithp@keithp.com>

altos/lisp: Use poly stashes for stacks

Saves some memory.

Signed-off-by: Keith Packard <keithp@keithp.com>

altos/lisp: Make DBG settings global

This avoids having different values in different files, which wasn't useful.

Signed-off-by: Keith Packard <keithp@keithp.com>

altos/lisp: Add continuations

This provides call/cc and makes 'stacks' visible to the application.

Signed-off-by: Keith Packard <keithp@keithp.com>

altos/lisp: Take advantage of implicit progns in hanoi demo

Remove extra progn wrappers now that cond, lambda and while all
support implicit ones.

Signed-off-by: Keith Packard <keithp@keithp.com>

altos/lisp: have 'while' return the last body value

Instead of always returning 'nil', let while return the last body
value.

Signed-off-by: Keith Packard <keithp@keithp.com>

altos/lisp: Take advantage of implicit progn in ROM code

Signed-off-by: Keith Packard <keithp@keithp.com>

altos/lisp: Make lambda, cond and while all have implicit progns

This lets all of these execute more than one sexpr, returning the
value of the last.

Signed-off-by: Keith Packard <keithp@keithp.com>

altos/lisp: Compile ao_lisp_make_const -no-pie

Makes debugging easier

Signed-off-by: Keith Packard <keithp@keithp.com>

altos/lisp: Fix uninitialized values in ao_lisp_make_const

Signed-off-by: Keith Packard <keithp@keithp.com>

altos/lisp: Dump globals on error

Useful for debugging

Signed-off-by: Keith Packard <keithp@keithp.com>

altos/lisp: Fix error atom name in ao_lisp_length

Cut&paste error.

Signed-off-by: Keith Packard <keithp@keithp.com>

altos/lisp: Remove some stale frame debugging checks

No-one sets frame->_num to 0xff to hit these

Signed-off-by: Keith Packard <keithp@keithp.com>

altos/lisp: Clean up hanoi.lisp comments.

Signed-off-by: Keith Packard <keithp@keithp.com>

altos/lisp: Eliminate compiler warning about array bounds at -O3

Using ao_lisp_pool - 4 caused the compiler to whinge about computing
an address outside the bounds of the array. Sigh. Restructure the code
to do the adjustment-by-4 in the integer computations instead of the
pointer ones.

Signed-off-by: Keith Packard <keithp@keithp.com>

altos/lisp: binary search for chunk in collect

Speeds up collect a bit

Signed-off-by: Keith Packard <keithp@keithp.com>

altos/test: Disable position independent executables

This makes debugging programs so much harder

altos/lisp: Allow empty defun bodies

This allows for (defun foo())

Signed-off-by: Keith Packard <keithp@keithp.com>

altos/lisp: Optimize chunk searching in collect

Note range of existing chunks to exclude objects outside.
Only look at chunks which have been set to reduce loop cost.

Signed-off-by: Keith Packard <keithp@keithp.com>

altos/lisp: Add incremental collection

Realizing that long-lived objects will eventually float to the bottom
of the heap, I added a simple hack to the collector that 'remembers'
the top of the heap the last time a full collect was run and then runs
incremental collects looking to shift only objects above that
boundary. That doesn't perfectly capture the bounds of transient
objects, but does manage to reduce the amount of time spent not moving
persistent objects each time through the collector.

Signed-off-by: Keith Packard <keithp@keithp.com>

altos/lisp: Make hanoi example output a bit prettier

Make the towers symmetrical instead of lopsided. Much nicer looking.

Signed-off-by: Keith Packard <keithp@keithp.com>

altos/lisp: remove nth from hanoi.lisp

It's now in ROM.

Signed-off-by: Keith Packard <keithp@keithp.com>

altos/lambdakey: Strip out unused code

Make space for more lisp bits!

Signed-off-by: Keith Packard <keithp@keithp.com>

altos/lisp: Take advantage of multi-arg macros. Add more ROM funcs

Added nth, or and and.

Signed-off-by: Keith Packard <keithp@keithp.com>

altos/lisp: Allow macro/nlambda/lexpr to have multiple args

Entries from the params are bound to the formals with whatever
remaining formals there are bound to the last argument as a list.
This makes writing functions a bit easier.

Signed-off-by: Keith Packard <keithp@keithp.com>

altos/lisp: Do better checking for un-evaluated macros in ROM

Need to look at immediate lambdas as well, and also deal with
recursive functions by checking for recursion at each atom
dereference.

Signed-off-by: Keith Packard <keithp@keithp.com>

altos/lisp: re-use small frames

This saves a pile more use of the allocator by noting when frames have
not been referenced from another frame and freeing them when they go
out of scope. Frames with references are left to the allocator to deal
with.

Signed-off-by: Keith Packard <keithp@keithp.com>

altos/lisp: remove duplicate 'length' lambda from hanoi example

This function is now a builtin.

Signed-off-by: Keith Packard <keithp@keithp.com>

altos/lisp: Get lambdakey and nucleo-32 building again

Remove exti from the build list to make things fit.

Signed-off-by: Keith Packard <keithp@keithp.com>

altos/lisp: Evaluate macros once, then smash them into place

This assumes that macros are all pure functions, which should be true
for syntactic macros.

Signed-off-by: Keith Packard <keithp@keithp.com>

altos/lisp: Add license to hanoi demo

Signed-off-by: Keith Packard <keithp@keithp.com>

altos/lisp: Improve hanoi demo

Repaint in place, without first clearing. This makes the updates a lot
clealyer looking.

Signed-off-by: Keith Packard <keithp@keithp.com>

altos/lisp: Show number of collect calls in ao_lisp_test

This helps tune the allocator

Signed-off-by: Keith Packard <keithp@keithp.com>

altos/lisp: Cache freed cons and stack items

Track freed cons cells and stack items from the eval process where
possible so that they can be re-used without needing to collect.

This dramatically reduces the number of collect calls.

Signed-off-by: Keith Packard <keithp@keithp.com>

altos/lisp: Simplify GC a bit by only marking the head of each object

We don't need to mark the whole object now as we're getting
information about where objects are by walking the tree each time
around the loop; ao_lisp_busy is only useful for terminating the walk
now.

Signed-off-by: Keith Packard <keithp@keithp.com>

altos/lisp: Change GC to do moves in batches of 32

This should make it quite a bit faster than doing one at a time.

Signed-off-by: Keith Packard <keithp@keithp.com>

altos/stmf0: Add a comment about the requirements for using ao_flash_stm

Need HSI clock and the flashing functions loaded in ram.

Signed-off-by: Keith Packard <keithp@keithp.com>

altos/lambdakey: Get save/restore working

Need the HSI clock running for the flash hardware to work.

Signed-off-by: Keith Packard <keithp@keithp.com>

altos/lisp: Append a CRC to the saved image to validate on restore

The CRC is actually of the ROM bits, so we can tell if the restored
image relates to the currently running code.

Signed-off-by: Keith Packard <keithp@keithp.com>

altos/lisp: Add save/restore to ao_lisp_test

Allow testing of the save/restore code under Linux.

Signed-off-by: Keith Packard <keithp@keithp.com>

altos/lisp: Add save/restore infrastructure. Needs OS support to work.

This sticks a few globals past the end of the heap and then asks the
OS to save the heap. On restore, the heap is re-populated by the OS
and then various global variables reset.

Signed-off-by: Keith Packard <keithp@keithp.com>

altos/lisp: Make sure memmove only happens once per object. Other GC fixes

The memmove may be overlapping, so make sure it happens only once by
just checking whether move_size has been set, rather than looking at
ao_lisp_moving; that doesn't get set when moving a noted cons as that
still needs to be walked at a later time.

Fix up the various looping move functions to all use the same
pattern. Atom was busted.

Signed-off-by: Keith Packard <keithp@keithp.com>

altos/lisp: Make ao_lisp_ref and ao_lisp_poly non-inline

These functions are pretty large and end up consuming quite a bit of
space if inlined everywhere they are used.

Signed-off-by: Keith Packard <keithp@keithp.com>

altos/lisp: Share mark function for mark and move

These two operations both wanted to walk the referenced objects;
sharing is caring.

Signed-off-by: Keith Packard <keithp@keithp.com>

altos/lisp: add length, pack, unpack and flush

lots more builtins

Signed-off-by: Keith Packard <keithp@keithp.com>

altos/lisp: Add towers of hanoi example

Uses vt100 escape sequences to animate the display even.

Signed-off-by: Keith Packard <keithp@keithp.com>

altos/lisp: Deal with memory compation in the middle of operations

Handle memory compaction in places where we've got pointers into the
heap across an allocation operation. Either re-compute the values from
managed global references or add new roots across the allocation.

Signed-off-by: Keith Packard <keithp@keithp.com>

altos/lisp: Improve lisp test program UI

Add a prompt for stdin, read from other files on command line before
stdin.

Signed-off-by: Keith Packard <keithp@keithp.com>

altos/lisp: Make read() return eof atom on end of file

Also make it an exception to hit eof in the middle of an sexpr.

Signed-off-by: Keith Packard <keithp@keithp.com>

altos/lisp: use regular read-eval-print loop for make const

No need to open code this sequence of operations.

Signed-off-by: Keith Packard <keithp@keithp.com>

altos/lisp: add progn, while, read and eval

Progn as a builtin will help with tail-recursion.
while provides for loops until tail-recursion works :-)
read and eval are kinda useful.

Signed-off-by: Keith Packard <keithp@keithp.com>

altos/lisp: Clean up OS integration bits, add defun

Provide an abstraction for the OS interface so that it
can build more cleanly on Linux and AltOS. Add defun macro.

Signed-off-by: Keith Packard <keithp@keithp.com>

altos/lisp: macros appear to work now

Needed an extra stack frame to stash the pre-macro state. This
simplified macro processing quite a bit; a macro now just evaluates
the function and then sends that result to be evaluated again.

Signed-off-by: Keith Packard <keithp@keithp.com>

altos/lisp: working on lexical scoping

Not working yet

Signed-off-by: Keith Packard <keithp@keithp.com>

altos/lambdakey-v1.0: Tweak memory allocations

With non-recursive GC, more memory is available for the heap

Signed-off-by: Keith Packard <keithp@keithp.com>

altos/lisp: convert GC to non-recursive

Use a boolean array to note cons cells which would otherwise recurse,
then loop until that array is empty.

Signed-off-by: Keith Packard <keithp@keithp.com>

altos/lisp: more GC issues. add patom

Use global ao_lisp_stack instead of local stack so that gc
moves of that item work.

Signed-off-by: Keith Packard <keithp@keithp.com>

altos/lisp: make sure stack->formals_last gets moved during GC

Failing this leads to broken formals chains

Signed-off-by: Keith Packard <keithp@keithp.com>

altos/lisp: Change GC move API

Pass reference to move API so it can change the values in-place, then
let it return '1' when the underlying object has already been moved to
shorten GC times.

Signed-off-by: Keith Packard <keithp@keithp.com>

altos/lisp: get builtin macros working again

Signed-off-by: Keith Packard <keithp@keithp.com>

altos/lisp: Start rewriting eval as state machine

Ad-hoc code was incomprehensible and I couldn't make 'cond' work, so
I'm starting over.

Signed-off-by: Keith Packard <keithp@keithp.com>

altos: Add lambdakey

Signed-off-by: Keith Packard <keithp@keithp.com>

altos: Add lambda support to lisp

Signed-off-by: Keith Packard <keithp@keithp.com>

altos/lisp: Separate out values from atoms

This enables changing values of atoms declared as constants, should
enable lets, and with some work, even lexical scoping.

this required changing the constant computation to run
ao_lisp_collect() before dumping the block of constant data, and that
uncovered some minor memory manager bugs.

Signed-off-by: Keith Packard <keithp@keithp.com>

altos/lisp: add set/setq and ' in reader

Along with other small fixes

Signed-off-by: Keith Packard <keithp@keithp.com>

altos/stmf0: Add lisp to include directories

Signed-off-by: Keith Packard <keithp@keithp.com>

altos/kernel: Make ao_cmd_readline public. Return char from ao_cmd_lex.

With these two changes, the readline function can be used by other
code.

Signed-off-by: Keith Packard <keithp@keithp.com>

altos/lisp: Change lisp objects to use ao_poly everywhere. Add const

This makes all lisp objects use 16-bit ints for references so we can
hold more stuff in small amounts of memory. Also adds a separate
constant pool of lisp objects for builtins, initial atoms and constant
lisp code.

Now builds (and runs!) on the nucleo-32 boards.

Signed-off-by: Keith Packard <keithp@keithp.com>

altos: Add lisp reader

Add first lisp bits

Signed-off-by: Keith Packard <keithp@keithp.com>

use elf, not ihx

stop using /usr/share for binaries in remaining turnon scripts

altos/chaoskey: Add a metainfo for the ChaosKey

This provides the information necessary to reflash chaoskey using
standard Linux device firmware tooling.

altos/arm: Align data so that gcc 5.4 doesn't do byte-accesses. Add -Wcast-align

Gcc 5.4.1 tracks alignment of data through assignments, so that a
uint32_t pointer which comes from byte-aligned uint8_t data:

extern uint8_t foo[];

uint32_t *q = (void *) foo;

Fetches and stores through this pointer are done bytewise. This is
slow (meh), but if q references a device register, things to bad very
quickly.

This patch works around this bug in the compiler by adding
__attribute__((aligned(4))) tags to some variables, or changing them
from uint8_t to uint32_t. Places doing this will now be caught as I've
added -Wcast-align to the compiler flags. That required adding (void
*) casts, after the relevant code was checked to make sure the
compiler could tell that the addresses were aligned.

Signed-off-by: Keith Packard <keithp@keithp.com>

altos/stm: Make ao_usb_set_address static. Saves a bunch of text space

I'm sure this makes the function end up in-lined, which saves enough
text space to fit the flash loader in ROM again.

Signed-off-by: Keith Packard <keithp@keithp.com>

ao-bringup: Improve EasyMini turnon and test scripts

Wait less time before trying the test script.
Have the test script wait for the device to appear. And then use
colors to help make the results clear.

Signed-off-by: Keith Packard <keithp@keithp.com>

altos/test: Fix tests

A couple of fixups for ao_flight_test to dump pyro info only when
running in debug mode, and to change the aprs testing

Signed-off-by: Keith Packard <keithp@keithp.com>

altos/nucleo-32: Add basic support for STM32F042 Nucleo-32 board

This hooks up the LED, USB and the USART.

Signed-off-by: Keith Packard <keithp@keithp.com>

altos/stmf0: Add USART support

The STM32F0 usart can be operated much like the STM32L usart, but the
registers are all moved around.

Signed-off-by: Keith Packard <keithp@keithp.com>

augment TeleDongle turn on script to support serial number on command line