2014-08-21 Raspberry Pi用のReal Time Linuxをビルドする http://d.hatena.ne.jp/T_2GMon/20140523/1400782452 Ras piでrt linux http://www.slideshare.net/azarashi55/ras-pirt-linux