Subversion Repositories HelenOS

Rev

Rev 4022 | Rev 4043 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed

Rev 4022 Rev 4042
Line 258... Line 258...
258
! [PLATFORM=ia32|PLATFORM=amd64|PLATFORM=arm32|PLATFORM=mips32|PLATFORM=ppc32] CONFIG_PAGE_PT (y)
258
! [PLATFORM=ia32|PLATFORM=amd64|PLATFORM=arm32|PLATFORM=mips32|PLATFORM=ppc32] CONFIG_PAGE_PT (y)
259
 
259
 
260
% Page hash table support
260
% Page hash table support
261
! [PLATFORM=ia64|PLATFORM=sparc64] CONFIG_PAGE_HT (y)
261
! [PLATFORM=ia64|PLATFORM=sparc64] CONFIG_PAGE_HT (y)
262
 
262
 
263
% i8042 controller support
-
 
264
! [PLATFORM=ia32|PLATFORM=amd64|(PLATFORM=ia64&MACHINE=i460GX)] CONFIG_I8042 (y)
-
 
265
 
-
 
266
% Sun keyboard support
-
 
267
! [PLATFORM=sparc64] CONFIG_SUN_KBD (y)
-
 
268
 
-
 
269
% EGA support
-
 
270
! [PLATFORM=ia32|PLATFORM=amd64|(PLATFORM=ia64&MACHINE=i460GX)] CONFIG_EGA (y)
-
 
271
 
-
 
272
% Software integer division support
263
% Software integer division support
273
! [PLATFORM=ia32|PLATFORM=arm32|PLATFORM=ia64|PLATFORM=mips32|PLATFORM=ppc32] CONFIG_SOFTINT (y)
264
! [PLATFORM=ia32|PLATFORM=arm32|PLATFORM=ia64|PLATFORM=mips32|PLATFORM=ppc32] CONFIG_SOFTINT (y)
274
 
265
 
275
% ASID support
266
% ASID support
276
! [PLATFORM=ia64|PLATFORM=mips32|PLATFORM=ppc32|PLATFORM=sparc64] CONFIG_ASID (y)
267
! [PLATFORM=ia64|PLATFORM=mips32|PLATFORM=ppc32|PLATFORM=sparc64] CONFIG_ASID (y)
Line 309... Line 300...
309
! [PLATFORM=ia64] CONFIG_VHPT (n/y)
300
! [PLATFORM=ia64] CONFIG_VHPT (n/y)
310
 
301
 
311
% Use TSB
302
% Use TSB
312
! [PLATFORM=sparc64] CONFIG_TSB (y/n)
303
! [PLATFORM=sparc64] CONFIG_TSB (y/n)
313
 
304
 
314
% Support for Z8530 serial port
305
% i8042 controller support
315
! [PLATFORM=sparc64] CONFIG_Z8530 (y/n)
306
! [PLATFORM=ia32|PLATFORM=amd64|(PLATFORM=ia64&MACHINE=i460GX)] CONFIG_I8042 (y/n)
316
 
307
 
317
% Support for NS16550 serial port
308
% Support for NS16550 serial port
318
! [PLATFORM=sparc64] CONFIG_NS16550 (y/n)
309
! [PLATFORM=sparc64] CONFIG_NS16550 (y/n)
319
 
310
 
320
% Support for NS16550 serial port
311
% Support for NS16550 serial port
321
! [PLATFORM=ia64&MACHINE!=ski] CONFIG_NS16550 (n/y)
312
! [PLATFORM=ia64&MACHINE!=ski] CONFIG_NS16550 (n/y)
322
 
313
 
-
 
314
% Support for Z8530 serial port
-
 
315
! [PLATFORM=sparc64] CONFIG_Z8530 (y/n)
-
 
316
 
323
% Support for Serengeti console
317
% Support for Serengeti console
324
! [PLATFORM=sparc64] CONFIG_SGCN (y/n)
318
! [PLATFORM=sparc64] CONFIG_SGCN (y/n)
325
 
319
 
-
 
320
% PC keyboard support
-
 
321
! [PLATFORM=ia32|PLATFORM=amd64|(PLATFORM=ia64&MACHINE=i460GX)] CONFIG_PC_KBD (y/n)
-
 
322
 
-
 
323
% Sun keyboard support
-
 
324
! [PLATFORM=sparc64] CONFIG_SUN_KBD (y/n)
-
 
325
 
-
 
326
% EGA support
-
 
327
! [PLATFORM=ia32|PLATFORM=amd64|(PLATFORM=ia64&MACHINE=i460GX)] CONFIG_EGA (y)
-
 
328
 
326
% IOSapic on default address support
329
% IOSapic on default address support
327
! [PLATFORM=ia64&MACHINE!=ski] CONFIG_IOSAPIC (y/n)
330
! [PLATFORM=ia64&MACHINE!=ski] CONFIG_IOSAPIC (y/n)
328
 
331
 
329
% Virtually indexed D-cache support
332
% Virtually indexed D-cache support
330
! [PLATFORM=sparc64] CONFIG_VIRT_IDX_DCACHE (y/n)
333
! [PLATFORM=sparc64] CONFIG_VIRT_IDX_DCACHE (y/n)