Linuxカーネル
unicore32(英語版)
Sun-4
AVR32(英語版)