diff --git a/src/arch/riscv/Makefile.sbi b/src/arch/riscv/Makefile.sbi
index 5e5dc9a6b..be2ddee58 100644
--- a/src/arch/riscv/Makefile.sbi
+++ b/src/arch/riscv/Makefile.sbi
@@ -29,3 +29,7 @@ NON_AUTO_MEDIA	+= pf32
 %.pf32 : %.sbi $(MAKEDEPS)
 	$(Q)$(CP) $< $@
 	$(Q)$(TRUNCATE) -s 32M $@
+
+# Include Devicetree drivers in the all-drivers build
+#
+DRIVERS_ipxe	+= $(DRIVERS_dt_net)