~martin-decky/helenos/rcu

« back to all changes in this revision

Viewing changes to defaults/ia64/Makefile.config

• browse files at revision 1
• compare with another revision
• compare with revision 1
• download diff
• download tarball
• view history from revision 1

Show diffs side-by-side

added

removed

defaults/ia64/Makefile.config

 

1

# Platform

 

2

PLATFORM = ia64

 

3

 

 

4

# Ramdisk format

 

5

RDFMT = fat

 

6

 

 

7

# Compiler

 

8

COMPILER = gcc_cross

 

9

 

 

10

# Debug build

 

11

CONFIG_DEBUG = y

 

12

 

 

13

# Deadlock detection support for spinlocks

 

14

CONFIG_DEBUG_SPINLOCK = y

 

15

 

 

16

# Support for SMP

 

17

CONFIG_SMP = y

 

18

 

 

19

# Lazy FPU context switching

 

20

CONFIG_FPU_LAZY = y

 

21

 

 

22

# Use VHPT

 

23

CONFIG_VHPT = n 

 

24

 

 

25

# Support for userspace debuggers

 

26

CONFIG_UDEBUG = y

 

27

 

 

28

# Kernel console support

 

29

CONFIG_KCONSOLE = y

 

30

 

 

31

# Kernel symbol information

 

32

CONFIG_SYMTAB = y

 

33

 

 

34

# Detailed kernel logging

 

35

CONFIG_LOG = n

 

36

 

 

37

# Compile kernel tests

 

38

CONFIG_TEST = y

 

39

 

 

40

# Input device class

 

41

CONFIG_HID_IN = generic

 

42

 

 

43

# Output device class

 

44

CONFIG_HID_OUT = generic

 

45

 

 

46

# Load disk drivers on startup

 

47

CONFIG_START_BD = n

 

48

 

 

49

# Mount /data on startup

 

50

CONFIG_MOUNT_DATA = n

• Older »

Loggerhead is a web-based interface for Breezy
Version: 2.0.1