# Copyright 2007 Simtec Electronics
#
# Licensed under GPLv2

menu "S3C2400 Machines"

endmenu