diff options
author | Silvino Silva <silvino@bk.ru> | 2018-03-10 14:55:29 +0000 |
---|---|---|
committer | Silvino Silva <silvino@bk.ru> | 2018-03-10 14:55:29 +0000 |
commit | 7e21c0085fec669979039856ea3754ac9573bbf3 (patch) | |
tree | ad9eba621c0a05a161de6a7ef8a3118de03d49e9 /core/reboot.html | |
parent | 4d8088a7f539a80144f1b426b529ccd7441b9ccb (diff) | |
download | doc-7e21c0085fec669979039856ea3754ac9573bbf3.tar.gz |
core linux better config documentation
Diffstat (limited to 'core/reboot.html')
-rw-r--r-- | core/reboot.html | 14 |
1 files changed, 11 insertions, 3 deletions
diff --git a/core/reboot.html b/core/reboot.html index c7e8d9c..ea174a2 100644 --- a/core/reboot.html +++ b/core/reboot.html @@ -33,12 +33,20 @@ <h2 id="linux">1.4.1. Kernel</h2> - <p>There is possible to install kernel using a port, - c9-ports have <a href="ports/linux-gnu">linux-gnu</a> - port of linux libre,a true source based kernel that + <p>Install <a href="ports/linux-gnu">linux-gnu</a> port, + linux libre kernel is a true source based kernel that respects your freedoms. Read <a href="linux.html">linux kernel</a> for more information.</p> + <p>Default crux configuration can be obtained from iso, + kernel port depend on <a href="reboot.html#dracut">dracut</a>, grub2 + and grub2-efi. You don't need them to build with pkgmk, to install + boot related tools use prt-get;</p> + + <pre> + $ prt-get depinst linux-gnu + </pre> + <p>If you don't have the port binary package build it;</p> <pre> |