website: custom-kernel: Prepare for publication.

* website/posts/custom-kernel.md: Update tags and date.  Add a couple of
backquotes.
This commit is contained in:
Ludovic Courtès 2019-05-21 11:18:36 +02:00
parent 2fbebad35a
commit 665d858a92
No known key found for this signature in database
GPG Key ID: 090B11993D9AEBB5
1 changed files with 5 additions and 5 deletions

View File

@ -1,7 +1,7 @@
title: Creating and using a custom Linux kernel on Guix System
date: 2019-05-20 00:00
date: 2019-05-21 12:00
author: Efraim Flashner
tags: kernel, customization
tags: Software development, Kernel, Customization
---
Guix is, at its core, a source based distribution with
@ -59,16 +59,16 @@ declared like this:
```
Any keys which are not assigned values inherit their default value from
the make-linux-libre definition. When comparing the two snippets above,
the `make-linux-libre` definition. When comparing the two snippets above,
you may notice that the code comment in the first doesn't actually refer
to the extra-version keyword; it is actually for configuration-file.
to the `#:extra-version` keyword; it is actually for `#:configuration-file`.
Because of this, it is not actually easy to include a custom kernel
configuration from the definition, but don't worry, there are other ways
to work with what we do have.
There are two ways to create a kernel with a custom kernel configuration.
The first is to provide a standard `.config` file during the build
process by including an actual `.config` file as a native-input to our
process by including an actual `.config` file as a native input to our
custom kernel. The
[following](https://git.savannah.gnu.org/cgit/guix.git/tree/gnu/packages/linux.scm#n379)
is a snippet from the custom 'configure phase of the `make-linux-libre`