Lines Matching +full:build +full:- +full:system +full:- +full:debian
6 # Copyright (c) 2019 Philippe Mathieu-Daudé <f4bug@amsat.org>
8 # SPDX-License-Identifier: GPL-2.0-or-later
17 ('http://archive.raspberrypi.org/debian/'
18 'pool/main/r/raspberrypi-firmware/'
19 'raspberrypi-kernel_1.20190215-1_armhf.deb'),
23 ('https://github.com/groeck/linux-build-test/raw/'
25 'arm/rootfs-armv7a.cpio.gz'),
40 member='boot/bcm2709-rpi-2-b.dtb')
48 self.vm.add_args('-kernel', kernel_path,
49 '-dtb', dtb_path,
50 '-append', kernel_command_line,
51 '-device', 'usb-kbd')
65 member='boot/bcm2709-rpi-2-b.dtb')
72 'panic=-1 noreboot ' +
74 self.vm.add_args('-kernel', kernel_path,
75 '-dtb', dtb_path,
76 '-initrd', initrd_path,
77 '-append', kernel_command_line,
78 '-no-reboot')
86 exec_command_and_wait_for_pattern(self, 'halt', 'reboot: System halted')