diff --git a/freebsd-to-rtems.py b/freebsd-to-rtems.py
index c2b1fd0c..e9dc7e43 100755
--- a/freebsd-to-rtems.py
+++ b/freebsd-to-rtems.py
@@ -1190,6 +1190,7 @@ devNic.addHeaderFiles(
 		'sys/pciio.h',
 		'dev/random/randomdev_soft.h',
 		'sys/eventvar.h',
+		'sys/kenv.h',
 	]
 )
 devNic.addSourceFiles(