Hi Amir!

"AMIR ZAQUAN BIN YAZID / UPM" <198739@student.upm.edu.my> writes:
> I would like to ask regarding updating the Linux Kernel manually.
>
> I am trying to update the Linux Kernel for GUIX system manually for an
> assignment. Everything seems fine until I reach the step of copying an
> existing Linux Kernel configuration.
>
> when I input :
>
> $ cp -v /boot/config-$(uname -r) cd verif.config
>
> the result says no such file directory for the current Linux Kernel config
> which is 5.11.15.

From a running guix system you can get the kernel config from
/run/current-system/kernel/.config

>
> In addition,  when I tried to guix install some development tools such as
> libelf and libssl , guix install error : unknown package was obtained.
>

I think, the packages you are looking for are libelf and openssl.


-- 
Es ist besser ein Licht zu entzuenden, als auf die Dunkelheit zu schimpfen.
   Konfuzius