# Pastebin 7j5t0hvZ
(define %linux-libre-4.14-version "4.14.121")
(define %linux-libre-4.14-hash "1g7gyjmp056pasf9m34dqs8pa15my6hqasdd551jw8mgkbhsfnxg")

(define-public linux-libre-4.14
  (make-linux-libre %linux-libre-4.14-version
                    %linux-libre-4.14-hash
                    '("x86_64-linux" "i686-linux" "armhf-linux")
                    #:configuration-file kernel-config))

(define-public linux-libre-headers-4.14
  (make-linux-libre-headers %linux-libre-4.14-version
                            %linux-libre-4.14-hash))

(define-public linux-libre-4.9
  (make-linux-libre "4.9.178"
                    "1ridlkymf382qnkc6hi07pkghrrxfv2avx55snjnkfcpdccvsmrb"
                    '("x86_64-linux" "i686-linux")
                    #:configuration-file kernel-config))