diff options
Diffstat (limited to 'chapter08/pkgmgt.xml')
| -rw-r--r-- | chapter08/pkgmgt.xml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/chapter08/pkgmgt.xml b/chapter08/pkgmgt.xml index d4b616bc7..8bf8dfdaa 100644 --- a/chapter08/pkgmgt.xml +++ b/chapter08/pkgmgt.xml @@ -55,7 +55,7 @@ <para>If the Linux kernel needs to be upgraded (for example, from 5.10.17 to 5.10.18 or 5.11.1), nothing else needs to be rebuilt. The system will keep working fine thanks to the well-defined interface - between the kernel and user space. Specifically, Linux API headers + between the kernel and userspace. Specifically, Linux API headers need not be (and should not be, see the next item) upgraded along with the kernel. You will merely need to reboot your system to use the upgraded kernel.</para> |