我已收到這3張板作爲禮物。哪款操作系統適合cortex-m4提供NTPd或類似功能，以便與GPS-PPS實現時間同步
STM32F407 HIGH PERF DISCOVERY板 http://www2.mouser.com/Search/ProductDetail.aspx?R=STM32F4DISCOVERYvirtualkey51120000virtualkey511-STM32F4DISCOVERY
意法半導體STM32F411核蛋白板 http://www2.mouser.com/Search/ProductDetail.aspx?R=NUCLEO-F411REvirtualkey51120000virtualkey511-NUCLEO-F411RE
STM32F429發現套件板 http://www2.mouser.com/Search/ProductDetail.aspx?R=STM32F429I-DISCOvirtualkey51120000virtualkey511-STM32F429I-DISCO
他們有這些CPU：
STM32F407 @ 168 MHz的 STM32F411 @ 100 MHz STM32F429 @ 180兆赫
我也有串行和PPS輸出良好的GPS模塊。 我想知道這些CPU /主板之一是否存在小型Linux版本，允許我配置NTPd服務以使內部時鐘與GPS同步，就像在Raspberry PI等其他主板上看到的一樣。
這是我的理解是平時NTPD還採用了網絡接口，用於在網絡上的信息與其他時間服務器或發佈連接。這些電路板沒有網絡芯片/連接器，實際上我不想將它們與外部世界連接起來。我只會在選定的電路板上使用同步時鐘。
作爲替代小Linux版本，這會是一個不同的嵌入式或實時操作系統的東西是否可行？
或僅與NTPd端口？
謝謝
添加文字：
我想找到重新使用任何現有的代碼從GPS時間，寫RTC和同步到PPS最好的辦法。
我知道，閱讀GPS通過串口接收到的時間和寫入RTC是容易的，但我也需要使用同步邏輯的PPS信號，我的預算範圍內獲得儘可能低的抖動。
我需要省錢，不能購買現成的設備。如果我能避免使用的操作系統和堅持的東西像一個RTOS較小或嵌入或自定義代碼...嗯，我會很高興:-)
我提到NTPD因爲是我知道的唯一的事（我的限制）允許這些東西（加上其他）。
做別人已「剝去」的PPS同步的代碼相關的部分？還是他們實際上是NTPd的核心，PPS只是像網絡服務器那樣插入其他來源？
請注意，我是一個總的新手到NTPD的內部工作。我剛剛在樹莓派上配置了gps-pps-ntpd sync，以下是網絡可用指令來測試這個概念，但那不會使我成爲NTPd的專家:-)
我認爲從NTP中取出「N」幾乎可以消除整個問題。當然「從GPS讀取時間，寫入RTC時間」是少數幾行代碼？拉一個重量級的操作系統，並篡改一個完全不合適的協議純粹實現，似乎有點... _unnecessary_;） – Notlikethat 2014-09-25 18:19:46
可能是我的錯誤翻譯成英文，並試圖總結上下文:-)我分享你的觀點，關於刪除N從NTP，但我應該使用最終的設備來收集射電天文數據在一個沒有任何網絡可用的地方。 我用更多的文字更新了問題，可能會澄清場景和問題（評論中沒有足夠的空間） – MarioCannistra 2014-09-26 08:20:39