Siwei Zhuang 0d1814e5a8 riscv: Only hifive platform has kernel device ... Hifive is the only platform that supports kernel devices currently.		2019-11-26 17:15:27 +11:00
..
arm	rename KDEV_PPTR/PPTR_KDEV to KDEV_BASE	2019-11-21 15:53:11 +11:00
riscv/arch	riscv: Only hifive platform has kernel device	2019-11-26 17:15:27 +11:00
x86/arch	Create device untypeds at boot for all arches	2019-11-12 16:20:07 +11:00