1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
| / {
| images {
| fdt-xilfpga {
| description = "MIPSfpga (xilfpga) Device Tree";
| data = /incbin/("boot/dts/xilfpga/nexys4ddr.dtb");
| type = "flat_dt";
| arch = "mips";
| compression = "none";
| hash {
| algo = "sha1";
| };
| };
| };
|
| configurations {
| conf-xilfpga {
| description = "MIPSfpga Linux kernel";
| kernel = "kernel";
| fdt = "fdt-xilfpga";
| };
| };
| };
|
|
