All source code for GuixSD system

[Dima Ursu <dima@tehnoetic.com>]

Hello,

I'm Dima from Technoethical, and I'm stuck at getting some source code.

We want to ship laptops preinstalled with GuixSD as well, and we want to
include the sources corresponding to all the binaries present in the
GuixSD system we ship.

The plan was this:

1. find a list of the installed software;
$ guix package --list-installed --profile=/run/current-system/profile
$ guix package --list-installed
--profile=/var/guix/profiles/per-user/root/guix-profile

2. download the sources;
$ guix build -S <package-name>

3. copy them in the home folder;

However, at step 1 I noticed that only the packages installed by us are
there. There is no package for linux-libre, for example.
How do I get a list of the base packages, the ones shipped with the
GuixSD installation image?

Thank you,
Dima

-- 
Free Software Activist
Engineer @ Tehnoetic
https://tehnoetic.com