diff --git a/gnu/packages/embedded.scm b/gnu/packages/embedded.scm
index 03b2e8989f0..7a56e4cfae3 100644
--- a/gnu/packages/embedded.scm
+++ b/gnu/packages/embedded.scm
@@ -83,8 +83,6 @@
             make-gcc-arm-none-eabi-9-2020-q2-update
             make-gcc-arm-none-eabi-12.3.rel1
 
-            make-gcc-vc4
-
             make-newlib-arm-none-eabi
             make-newlib-arm-none-eabi-7-2018-q2-update
             make-newlib-arm-none-eabi-9-2020-q2-update
@@ -1429,35 +1427,6 @@ simulator.")
         (home-page (package-home-page propeller-gcc))
         (license (package-license propeller-gcc))))))
 
-(define make-gcc-vc4
-  (mlambda ()
-    (let ((commit "0fe4b83897341742f9df65797474cb0feab4b377")
-          (xgcc (cross-gcc "vc4-elf" #:xgcc gcc-6 #:xbinutils binutils-vc4)))
-      (package
-        (inherit xgcc)
-        (name "gcc-vc4")
-        (source (origin
-                  (method git-fetch)
-                  (uri (git-reference
-                        (url "https://github.com/puppeh/gcc-vc4")
-                        (commit commit)))
-                  (file-name (string-append name
-                                            "-"
-                                            (package-version xgcc)
-                                            "-checkout"))
-                  (sha256
-                   (base32
-                    "0kvaq4s0assvinmmicwqp07d0wwldcw0fv6f4k13whp3q5909jnr"))
-                  (patches
-                   (search-patches "gcc-6-fix-buffer-size.patch"
-                                   "gcc-6-fix-isl-includes.patch"))))
-        (native-inputs
-         (modify-inputs (package-native-inputs xgcc)
-           (prepend flex)))
-        (synopsis "GCC for VC4")
-        (description "This package provides @code{gcc} for VideoCore IV,
-the Raspberry Pi chip.")))))
-
 (define-public imx-usb-loader
   ;; There are no proper releases.
   (let ((commit "30b43d69770cd69e84c045dc9dcabb1f3e9d975a")