altos: 8051 64 * 16 multiply function was broken for negative 64-bit
[fw/altos] / src / usbtrng /
drwxr-xr-x   ..
-rw-r--r-- 1088 Makefile
-rw-r--r-- 1832 ao_pins.h
-rw-r--r-- 1491 ao_usbtrng.c
drwxr-xr-x - flash-loader