os-k/docs/boot/grub/grub.desc

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.