+INSTALL_KF_MI_GEN_LIST =
+
+MAKESYSCALLS = $(SRCROOT)/bsd/kern/makesyscalls.sh
+
+syscall.h: $(SRCROOT)/bsd/kern/syscalls.master $(MAKESYSCALLS)
+ @echo "Generating bsd/sys/$@ from $<";
+ $(_v)$(MAKESYSCALLS) $< header > /dev/null
+
+sysproto.h: $(SRCROOT)/bsd/kern/syscalls.master $(MAKESYSCALLS)
+ @echo "Generating bsd/sys/$@ from $<";
+ $(_v)$(MAKESYSCALLS) $< proto > /dev/null
+
+MAKE_POSIX_AVAILABILITY = $(SRCROOT)/bsd/sys/make_posix_availability.sh
+_posix_availability.h: $(MAKE_POSIX_AVAILABILITY)
+ @echo "Generating bsd/sys/$@"
+ $(_v)$(MAKE_POSIX_AVAILABILITY) "$@"
+
+MAKE_SYMBOL_ALIASING = $(SRCROOT)/bsd/sys/make_symbol_aliasing.sh
+_symbol_aliasing.h: $(MAKE_SYMBOL_ALIASING)
+ @echo "Generating bsd/sys/$@"
+ $(_v)$(MAKE_SYMBOL_ALIASING) "$(SDKROOT)" "$@"
+