# Miscellaneous kernel utilities

target_sources(menix PUBLIC
	cmd.c
	spin.c
)
