platform device とは

• Linuxにおけるplatform device APIについて - お菓子食べる部
• platform device API The platform device API [LWN.net]
• Platform devices and device trees [LWN.net]

システムが動作する前に、特定のデバイスについての情報をカーネルに伝える API
あるいは、カーネルが発見できないデバイスの情報を伝えるもの
MMIO空間、IRQ線などについての情報

platfrom device API で情報登録 ( /arch/arm/mach-imx/eukrea_mbimx27-baseboard.c とかで ) -> ドライバ側で情報取得 ( platform_get_resource[_byname] , platform_get_irq )

長らく使われてきたが、 device-tree による記述に置き換わりつつある。