| /* | |
| * Microwatt FPGA-based SoC platform setup code. | |
| * | |
| * Copyright 2020 Paul Mackerras (paulus@ozlabs.org), IBM Corp. | |
| */ | |
| #include <linux/types.h> | |
| #include <linux/kernel.h> | |
| #include <linux/stddef.h> | |
| #include <linux/init.h> | |
| #include <linux/of.h> | |
| #include <linux/of_platform.h> | |
| #include <asm/machdep.h> | |
| #include <asm/time.h> | |
| #include <asm/xics.h> | |
| #include <asm/udbg.h> | |
| #include "microwatt.h" | |
| static void __init microwatt_init_IRQ(void) | |
| { | |
| xics_init(); | |
| } | |
| static int __init microwatt_populate(void) | |
| { | |
| return of_platform_default_populate(NULL, NULL, NULL); | |
| } | |
| machine_arch_initcall(microwatt, microwatt_populate); | |
| static void __init microwatt_setup_arch(void) | |
| { | |
| microwatt_rng_init(); | |
| } | |
| define_machine(microwatt) { | |
| .name = "microwatt", | |
| .compatible = "microwatt-soc", | |
| .init_IRQ = microwatt_init_IRQ, | |
| .setup_arch = microwatt_setup_arch, | |
| .progress = udbg_progress, | |
| }; |