Lines Matching +full:system +full:- +full:reboot +full:- +full:controller

6 # SPDX-License-Identifier: GPL-2.0-or-later
24          'pool/main/r/raspberrypi-firmware/'
25          'raspberrypi-kernel_1.20230106-1_arm64.deb'),
29         ('https://github.com/groeck/linux-build-test/raw/'
37         dtb_path = self.extract_from_deb(deb_path, '/boot/bcm2711-rpi-4-b.dtb')
46         self.vm.add_args('-kernel', kernel_path,
47                          '-dtb', dtb_path,
48                          '-append', kernel_command_line)
49         # When PCI is supported we can add a USB controller:
50         #                '-device', 'qemu-xhci,bus=pcie.1,id=xhci',
51         #                '-device', 'usb-kbd,bus=xhci.0',
65         dtb_path = self.extract_from_deb(deb_path, '/boot/bcm2711-rpi-4-b.dtb')
75                                'panic=-1 noreboot ' +
77         self.vm.add_args('-kernel', kernel_path,
78                          '-dtb', dtb_path,
79                          '-initrd', initrd_path,
80                          '-append', kernel_command_line,
81                          '-no-reboot')
82         # When PCI is supported we can add a USB controller:
83         #                '-device', 'qemu-xhci,bus=pcie.1,id=xhci',
84         #                '-device', 'usb-kbd,bus=xhci.0',
92         exec_command_and_wait_for_pattern(self, 'halt', 'reboot: System halted')