diff options
| author | Josip Ponjavic | 2019-09-09 13:37:02 +0200 |
|---|---|---|
| committer | Josip Ponjavic | 2019-09-09 13:37:02 +0200 |
| commit | 73ac62abc51e69b61ef10473a245cb859721d476 (patch) | |
| tree | 7a21fc50ec8421f8fb481623980b8d1b419ba203 /linux.install | |
| parent | 2208d2e63924e2583496692c949a190733ef29c4 (diff) | |
| download | aur-73ac62abc51e69b61ef10473a245cb859721d476.tar.gz | |
4.19.71-3 (clr 4.19.69-74) sync with linux-clear
Diffstat (limited to 'linux.install')
| -rw-r--r-- | linux.install | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/linux.install b/linux.install index bb2f675cbb0..f7258757298 100644 --- a/linux.install +++ b/linux.install @@ -1,3 +1,11 @@ + +post_install() { + echo ":: Adjust kernel command line in your bootloader to Clear Linux kernel default:" + echo " quiet console=tty0 console=ttyS0,115200n8 cryptomgr.notests initcall_debug" + echo " intel_iommu=igfx_off kvm-intel.nested=1 no_timer_check noreplace-smp" + echo " rcu_nocbs=0-64 rcupdate.rcu_expedited=1 rootfstype=ext4,btrfs,xfs tsc=reliable rw" +} + post_upgrade() { if findmnt --fstab -uno SOURCE /boot &>/dev/null && ! mountpoint -q /boot; then echo "WARNING: /boot appears to be a separate partition but is not mounted." |