Raspberry Pi port, piCore-15.0 is available!
I hadn't previously seen this thread and posted avidemux a couple of weeks ago - I hope I didn't tread on anybody's toes...