diff options
| author | nl6720 <nl6720@gmail.com> | 2022-06-26 12:59:47 +0300 |
|---|---|---|
| committer | nl6720 <nl6720@gmail.com> | 2022-06-26 13:16:29 +0300 |
| commit | 86540647db08b295abe34426b5faaa7505e4ba34 (patch) | |
| tree | 74e38d5580a2582aac9f6a73e93364411db836c5 /configs/releng/grub | |
| parent | fda19075813c40ad88d690247e167cb57096c316 (diff) | |
| download | archiso-86540647db08b295abe34426b5faaa7505e4ba34.tar.gz archiso-86540647db08b295abe34426b5faaa7505e4ba34.tar.bz2 | |
configs/*/grub/grub.cfg: enable serial input and output
Try to initialize a serial device and use it for input and output.
Add more comments to grub.cfg to explain what is done.
Related to #75
Diffstat (limited to 'configs/releng/grub')
| -rw-r--r-- | configs/releng/grub/grub.cfg | 14 |
1 files changed, 11 insertions, 3 deletions
diff --git a/configs/releng/grub/grub.cfg b/configs/releng/grub/grub.cfg index 9b78603..43fad0e 100644 --- a/configs/releng/grub/grub.cfg +++ b/configs/releng/grub/grub.cfg @@ -1,12 +1,12 @@ +# Load partition table and file system modules insmod part_gpt insmod part_msdos insmod fat insmod iso9660 +# Use graphics-mode output insmod all_video - insmod font - if loadfont "${prefix}/fonts/unicode.pf2" ; then insmod gfxterm set gfxmode="auto" @@ -14,14 +14,22 @@ if loadfont "${prefix}/fonts/unicode.pf2" ; then terminal_output gfxterm fi +# Enable serial console +if serial --unit=0 --speed=115200; then + terminal_input --append serial + terminal_output --append serial +fi + +# Set default menu entry default=archlinux timeout=15 timeout_style=menu # GRUB init tune for accessibility -# play 600 988 1 1319 4 +# Menu entries + menuentry "Arch Linux install medium (x86_64, UEFI)" --class arch --class gnu-linux --class gnu --class os --id 'archlinux' { set gfxpayload=keep search --no-floppy --set=root --label %ARCHISO_LABEL% |