1# 2# MINI64 -- minimal configuration to test the kernel build without any options 3# 4# Needs -DNO_MODULES, see below for building modules. 5# 6 7platform pc64 8machine x86_64 9machine_arch x86_64 10cpu HAMMER_CPU 11ident MINI64 12 13# Uncomment those to be able to build modules, too. 14# 15#options INET 16#pseudo-device ether 17#pseudo-device loop 18