/platform/spike/

• ../
• config.mk
• objects.mk
• platform.c