1# Copyright 2007 Simtec Electronics 2# 3# Licensed under GPLv2 4 5menu "S3C2400 Machines" 6 7endmenu 8