4dbeee8a99
It lets us move the variables in cmdline.txt to deviceinfo_kernel_cmdline. We can thereafter drop the cmdline.txt file entirely. By setting deviceinfo_generate_cmdline_txt we tell boot-deploy to generate /boot/cmdline.txt from deviceinfo_kernel_cmdline. boot-deploy can then also add information about partition UUIDs to the cmdline, which helps postmarketos-initramfs find the correct partitions. Part-of: https://gitlab.postmarketos.org/postmarketos/pmaports/-/merge_requests/6630
24 lines
813 B
Text
24 lines
813 B
Text
# Reference: <https://postmarketos.org/deviceinfo>
|
|
# Please use double quotes only. You can source this file in shell scripts.
|
|
|
|
deviceinfo_format_version="0"
|
|
deviceinfo_name="Raspberry Pi 4"
|
|
deviceinfo_manufacturer="Raspberry Pi"
|
|
deviceinfo_codename="raspberry-pi4"
|
|
deviceinfo_year="2019"
|
|
deviceinfo_arch="aarch64"
|
|
deviceinfo_disable_dhcpd="true"
|
|
|
|
# Device related
|
|
deviceinfo_gpu_accelerated="true"
|
|
deviceinfo_chassis="embedded"
|
|
deviceinfo_keyboard="true"
|
|
deviceinfo_external_storage="true"
|
|
deviceinfo_screen_width="1920"
|
|
deviceinfo_screen_height="1080"
|
|
|
|
# Bootloader related
|
|
deviceinfo_flash_method="none"
|
|
deviceinfo_boot_filesystem="fat16"
|
|
deviceinfo_kernel_cmdline="modules=loop,squashfs,sd-mod,usb-storage quiet dwc_otg.lpm_enable=0 console=ttyAMA0,115200 console=tty1"
|
|
deviceinfo_generate_cmdline_txt="true"
|