Arduino IDEには公式がサポートしているAVR系の石を採用したボードが一通り把握されています。
ARM系*1やIntel系*2はデフォルトではリストにありません。
これらはボードマネージャで明示的に入れてあげる必要があります。
実際のところ
32bit ARMが乗ってるMegaっぽいボード、Arduino DueをOS X環境に入れるケースを考えます。
「ツール」=>「マイコンボード」=>「ボードマネージャ」と進むと以下の様な画面が出ます。
検索画面で「due」とやると、結果が一つに絞りこまれます。
バージョンはとりあえず最新にしておけば問題ないでしょう。
インストールボタンを押すと、ダウンロードが始まります。
無事に追加されると、ボード種別の中にArduino Dueが追加されます。