Hans-Christian Egtvedt feb64da4d1 Resync pt-machine.h for AVR32 linuxthreads and linuxthreads.old vor 16 Jahren
..
pt-machine.h feb64da4d1 Resync pt-machine.h for AVR32 linuxthreads and linuxthreads.old vor 16 Jahren