# Default configuration for microblaze-softmmu

CONFIG_PTIMER=y