I have been maintaining ports of Pico]OS for arm7tdmi, Arm Cortex-M, Texas Instruments MSP430 and unix. Arm7tdmi is mainly for Philips/NXP LPC2xxx series, although there are other, untested cpu families in that port. These ports are included in recent official Pico]OS downloads. Continue reading “Development versions of Pico]OS ports”