Changeset 6ac14a70 in mainline for HelenOS.config

Timestamp:

2009-07-28T12:47:31Z (15 years ago)

Author:

Vineeth Pillai <vineethrp@…>

Branches:

lfn, master, serial, ticket/834-toolchain-update, topic/msim-upgrade, topic/simplify-dev-export

Children:

5e73815

Parents:

7038f55

Message:

ARM port for development board integratorcp(ARM926EJ core module).

File:

• HelenOS.config (modified) (6 diffs)

HelenOS.config

@@ -56 +56 @@
 ! [PLATFORM=sparc64] MACHINE (choice)
 
+% Machine type
+@ "testarm" Gxemul Testarm
+@ "integratorcp"        Integratorcp
+! [PLATFORM=arm32] MACHINE (choice)
+
 % CPU type
 @ "pentium4" Pentium 4
@@ -326 +331 @@
 % Input device class
 @ "generic" Keyboard or serial line
+! [PLATFORM=arm32&MACHINE=integratorcp] CONFIG_HID_IN (choice)
+
+% Input device class
+@ "generic" Keyboard or serial line
 @ "none" No input device
-! [PLATFORM=ia32|PLATFORM=arm32|PLATFORM=amd64|PLATFORM=mips32|PLATFORM=ppc32|PLATFORM=sparc64] CONFIG_HID_IN (choice)
+! [PLATFORM=ia32|(PLATFORM=arm32&MACHINE=testarm)|PLATFORM=amd64|PLATFORM=mips32|PLATFORM=ppc32|PLATFORM=sparc64] CONFIG_HID_IN (choice)
 
 % Input device class
@@ -338 +347 @@
 % Output device class
 @ "generic" Monitor or serial line
+! [PLATFORM=arm32&MACHINE=integratorcp] CONFIG_HID_OUT (choice)
+
+% Output device class
+@ "generic" Monitor or serial line
 @ "none" No output device
 ! [PLATFORM=ia32|PLATFORM=amd64|PLATFORM=sparc64|PLATFORM=ppc32|(PLATFORM=ia64&MACHINE=i460GX)|(PLATFORM=mips32&MACHINE=msim)] CONFIG_HID_OUT (choice)
@@ -353 +366 @@
 @ "serial" Serial line
 @ "none" No output device
-! [PLATFORM=arm32] CONFIG_HID_OUT (choice)
+! [PLATFORM=arm32&MACHINE=testarm] CONFIG_HID_OUT (choice)
 
 % PC keyboard support
@@ -368 +381 @@
 
 % Support for GXemul keyboard
-! [CONFIG_HID_IN=generic&PLATFORM=arm32] CONFIG_ARM_KBD (y/n)
+! [CONFIG_HID_IN=generic&PLATFORM=arm32&MACHINE=testarm] CONFIG_ARM_KBD (y/n)
 
 % Support for GXemul printer
-! [(CONFIG_HID_OUT=generic|CONFIG_HID_OUT=serial)&PLATFORM=arm32] CONFIG_ARM_PRN (y/n)
+! [(CONFIG_HID_OUT=generic|CONFIG_HID_OUT=serial)&PLATFORM=arm32&MACHINE=testarm] CONFIG_ARM_PRN (y/n)
 
 % Support for VIA CUDA controller
@@ -393 +406 @@
 % i8042 controller support
 ! [CONFIG_PC_KBD=y] CONFIG_I8042 (y)
+
+% pl050 controller support
+! [CONFIG_HID_IN=generic&PLATFORM=arm32&MACHINE=integratorcp] CONFIG_PL050 (y)
 
 % Sun keyboard support