raspberrypi_get_platform_name 67 kernel/arch/arm32/src/mach/raspberrypi/raspberrypi.c static const char *raspberrypi_get_platform_name(void); raspberrypi_get_platform_name 85 kernel/arch/arm32/src/mach/raspberrypi/raspberrypi.c raspberrypi_get_platform_nameHelenOS homepage, sources at GitHub