28 lines
1.6 KiB
Plaintext
28 lines
1.6 KiB
Plaintext
#=----------------------------------------------------------------------------=#
|
|
# GNU GPL OS/K Documentation #
|
|
# #
|
|
# Desc: GRUB configuration #
|
|
# #
|
|
# #
|
|
# Copyright © 2018-2020 The OS/K Team #
|
|
# #
|
|
# Permission is granted to copy, distribute and/or modify this #
|
|
# document under the terms of the GNU Free Documentation License, #
|
|
# Version 1.3 or any later version published by the Free Software #
|
|
# Foundation; with no Invariant Sections, no Front-Cover Texts, and #
|
|
# no Back-Cover Texts. A copy of the license is included in the #
|
|
# file entitled "COPYING.GFDL" #
|
|
#=----------------------------------------------------------------------------=#
|
|
|
|
|
|
This folder contains the GRUB configuration file, `boot/grub/grub.cfg`,
|
|
used by GRUB to know which OS to boot and how to boot it.
|
|
|
|
The GRUB configuration is pretty simple. We choose to use a 0 timeout, a
|
|
single entry that starts OS/K.
|
|
|
|
Because OS/K is a multiboot compliant kernel, we launch it with the multiboot
|
|
command.
|
|
|
|
For instance, we ask vbe and vga modules to be provided, but OS/K doesn't use
|
|
these modules. |