# SPDX-License-Identifier: GPL-3.0-or-later
#
# Guix extension manifest. Runs after main /steps manifest when BUILD_GUIX_ALSO=True.

# We need a 64-bit kernel to enable Guix to run 64-bit programs.
build: binutils-2.41
build: gcc-15.2.0
build: argp-standalone-1.4.1
build: musl-fts-1.2.7
build: musl-obstack-1.2.3
build: elfutils-0.194
build: linux-6.12.74
improve: linux64