| /trunk/contrib/default/sparc64/Makefile.config |
|---|
| File deleted |
| /trunk/contrib/default/sparc64/output |
|---|
| File deleted |
| \ No newline at end of file |
| /trunk/contrib/default/ia32/output |
|---|
| File deleted |
| \ No newline at end of file |
| /trunk/contrib/default/ia32/Makefile.config |
|---|
| File deleted |
| /trunk/contrib/default/ppc32/output |
|---|
| File deleted |
| \ No newline at end of file |
| /trunk/contrib/default/ppc32/Makefile.config |
|---|
| File deleted |
| /trunk/contrib/default/ia64/output |
|---|
| File deleted |
| \ No newline at end of file |
| /trunk/contrib/default/ia64/Makefile.config |
|---|
| File deleted |
| /trunk/contrib/default/amd64/output |
|---|
| File deleted |
| \ No newline at end of file |
| /trunk/contrib/default/amd64/Makefile.config |
|---|
| File deleted |
| /trunk/contrib/default/arm32/output |
|---|
| File deleted |
| \ No newline at end of file |
| /trunk/contrib/default/arm32/Makefile.config |
|---|
| File deleted |
| /trunk/contrib/default/mips32/output |
|---|
| File deleted |
| \ No newline at end of file |
| /trunk/contrib/default/mips32/Makefile.config |
|---|
| File deleted |
| /trunk/tools/config.py |
|---|
| 40,6 → 40,7 |
| MAKEFILE = 'Makefile.config' |
| MACROS = 'config.h' |
| DEFS = 'config.defs' |
| PRECONF = 'defaults' |
| def read_defaults(fname, defaults): |
| "Read saved values from last configuration run" |
| 276,6 → 277,49 |
| outmc.close() |
| outdf.close() |
| def sorted_dir(root): |
| list = os.listdir(root) |
| list.sort() |
| return list |
| def read_preconfigured(root, fname, screen, defaults): |
| options = [] |
| opt2path = {} |
| cnt = 0 |
| # Look for profiles |
| for name in sorted_dir(root): |
| path = os.path.join(root, name) |
| canon = os.path.join(path, fname) |
| if ((os.path.isdir(path)) and (os.path.exists(canon)) and (os.path.isfile(canon))): |
| subprofile = False |
| # Look for subprofiles |
| for subname in sorted_dir(path): |
| subpath = os.path.join(path, subname) |
| subcanon = os.path.join(subpath, fname) |
| if ((os.path.isdir(subpath)) and (os.path.exists(subcanon)) and (os.path.isfile(subcanon))): |
| subprofile = True |
| options.append("%s (%s)" % (name, subname)) |
| opt2path[cnt] = (canon, subcanon) |
| cnt += 1 |
| if (not subprofile): |
| options.append(name) |
| opt2path[cnt] = (canon, None) |
| cnt += 1 |
| (button, value) = xtui.choice_window(screen, 'Load preconfigured defaults', 'Choose configuration profile', options, None) |
| if (button == 'cancel'): |
| return None |
| read_defaults(opt2path[value][0], defaults) |
| if (opt2path[value][1] != None): |
| read_defaults(opt2path[value][1], defaults) |
| def main(): |
| defaults = {} |
| ask_names = [] |
| 302,6 → 346,7 |
| screen = xtui.screen_init() |
| try: |
| selname = None |
| position = None |
| while True: |
| # Cancel out all defaults which have to be deduced |
| 311,8 → 356,10 |
| options = [] |
| opt2row = {} |
| position = None |
| cnt = 0 |
| cnt = 1 |
| options.append(" --- Load preconfigured defaults ... ") |
| for varname, vartype, name, choices, cond in ask_names: |
| if ((cond) and (not check_condition(cond, defaults, ask_names))): |
| 361,11 → 408,20 |
| cnt += 1 |
| if (position >= options): |
| position = None |
| (button, value) = xtui.choice_window(screen, 'HelenOS configuration', 'Choose configuration option', options, position) |
| if (button == 'cancel'): |
| return 'Configuration canceled' |
| if (value == 0): |
| read_preconfigured(PRECONF, MAKEFILE, screen, defaults) |
| position = 1 |
| continue |
| position = None |
| if (not opt2row.has_key(value)): |
| raise RuntimeError("Error selecting value: %s" % value) |
| /trunk/defaults/sparc64/output |
|---|
| 0,0 → 1,0 |
| image.iso |
| /trunk/defaults/ia64/output |
|---|
| 0,0 → 1,0 |
| image.boot |
| /trunk/defaults/ia64/Makefile.config |
|---|
| 0,0 → 1,38 |
| # Platform |
| PLATFORM = ia64 |
| # Ramdisk format |
| RDFMT = fat |
| # Compiler |
| COMPILER = gcc_cross |
| # Debug build |
| CONFIG_DEBUG = y |
| # Deadlock detection support for spinlocks |
| CONFIG_DEBUG_SPINLOCK = y |
| # Support for SMP |
| CONFIG_SMP = y |
| # Lazy FPU context switching |
| CONFIG_FPU_LAZY = y |
| # Use VHPT |
| CONFIG_VHPT = y |
| # Support for userspace debuggers |
| CONFIG_UDEBUG = y |
| # Kernel console support |
| CONFIG_KCONSOLE = y |
| # Detailed kernel logging |
| CONFIG_LOG = n |
| # Compile kernel tests |
| CONFIG_TEST = y |
| # Keyboard layout |
| KBD_LAYOUT = us_qwerty |
| /trunk/defaults/ia64/i460GX/Makefile.config |
|---|
| 0,0 → 1,8 |
| # Machine type |
| MACHINE = i460GX |
| # Input device class |
| CONFIG_HID_IN = keyboard |
| # Output device class |
| CONFIG_HID_OUT = monitor |
| /trunk/defaults/ia64/ski/Makefile.config |
|---|
| 0,0 → 1,2 |
| # Machine type |
| MACHINE = ski |
| /trunk/defaults/arm32/output |
|---|
| 0,0 → 1,0 |
| image.boot |
| /trunk/defaults/arm32/Makefile.config |
|---|
| 0,0 → 1,35 |
| # Platform |
| PLATFORM = arm32 |
| # Ramdisk format |
| RDFMT = fat |
| # Compiler |
| COMPILER = gcc_cross |
| # Debug build |
| CONFIG_DEBUG = y |
| # Support for userspace debuggers |
| CONFIG_UDEBUG = y |
| # Kernel console support |
| CONFIG_KCONSOLE = y |
| # Detailed kernel logging |
| CONFIG_LOG = n |
| # Compile kernel tests |
| CONFIG_TEST = y |
| # What is your input device? |
| CONFIG_HID_IN = keyboard |
| # What is your output device? |
| CONFIG_HID_OUT = monitor |
| # Framebuffer support |
| CONFIG_FB = y |
| # Keyboard layout |
| KBD_LAYOUT = us_qwerty |
| /trunk/defaults/ppc32/output |
|---|
| 0,0 → 1,0 |
| image.boot |
| /trunk/defaults/ppc32/Makefile.config |
|---|
| 0,0 → 1,38 |
| # Platform |
| PLATFORM = ppc32 |
| # Ramdisk format |
| RDFMT = fat |
| # Compiler |
| COMPILER = gcc_cross |
| # Debug build |
| CONFIG_DEBUG = y |
| # Support for userspace debuggers |
| CONFIG_UDEBUG = y |
| # Kernel console support |
| CONFIG_KCONSOLE = y |
| # Detailed kernel logging |
| CONFIG_LOG = n |
| # Compile kernel tests |
| CONFIG_TEST = y |
| # Input device class |
| CONFIG_HID_IN = keyboard |
| # Output device class |
| CONFIG_HID_OUT = monitor |
| # Framebuffer support |
| CONFIG_FB = y |
| # Use Block Address Translation by the loader |
| CONFIG_BAT = y |
| # Keyboard layout |
| KBD_LAYOUT = us_qwerty |
| /trunk/defaults/amd64/output |
|---|
| 0,0 → 1,0 |
| image.iso |
| /trunk/defaults/amd64/Makefile.config |
|---|
| 0,0 → 1,65 |
| # Platform |
| PLATFORM = amd64 |
| # Ramdisk format |
| RDFMT = fat |
| # Compiler |
| COMPILER = gcc_cross |
| # Debug build |
| CONFIG_DEBUG = y |
| # Deadlock detection support for spinlocks |
| CONFIG_DEBUG_SPINLOCK = y |
| # Support for SMP |
| CONFIG_SMP = y |
| # Improved support for hyperthreading |
| CONFIG_HT = y |
| # Lazy FPU context switching |
| CONFIG_FPU_LAZY = y |
| # Support for userspace debuggers |
| CONFIG_UDEBUG = y |
| # Kernel console support |
| CONFIG_KCONSOLE = y |
| # Detailed kernel logging |
| CONFIG_LOG = n |
| # Compile kernel tests |
| CONFIG_TEST = y |
| # What is your input device? |
| CONFIG_HID_IN = keyboard |
| # What is your output device? |
| CONFIG_HID_OUT = monitor |
| # i8042 controller support |
| CONFIG_I8042 = y |
| # PC keyboard support |
| CONFIG_PC_KBD = y |
| # EGA support |
| CONFIG_EGA = y |
| # Framebuffer support |
| CONFIG_FB = y |
| # Framebuffer width |
| CONFIG_VESA_WIDTH = 800 |
| # Framebuffer height |
| CONFIG_VESA_HEIGHT = 600 |
| # Framebuffer depth |
| CONFIG_VESA_BPP = 16 |
| # Keyboard layout |
| KBD_LAYOUT = us_qwerty |
| /trunk/defaults/mips32/output |
|---|
| 0,0 → 1,0 |
| image.boot |
| /trunk/defaults/mips32/GXemul/Makefile.config |
|---|
| 0,0 → 1,8 |
| # Machine type |
| MACHINE = lgxemul |
| # Input device class |
| CONFIG_HID_IN = keyboard |
| # Output device class |
| CONFIG_HID_OUT = monitor |
| /trunk/defaults/mips32/Makefile.config |
|---|
| 0,0 → 1,32 |
| # Platform |
| PLATFORM = mips32 |
| # Ramdisk format |
| RDFMT = fat |
| # Compiler |
| COMPILER = gcc_cross |
| # Debug build |
| CONFIG_DEBUG = y |
| # Deadlock detection support for spinlocks |
| CONFIG_DEBUG_SPINLOCK = y |
| # Support for SMP |
| CONFIG_SMP = y |
| # Support for userspace debuggers |
| CONFIG_UDEBUG = y |
| # Kernel console support |
| CONFIG_KCONSOLE = y |
| # Detailed kernel logging |
| CONFIG_LOG = n |
| # Compile kernel tests |
| CONFIG_TEST = y |
| # Keyboard layout |
| KBD_LAYOUT = us_qwerty |
| /trunk/defaults/mips32/msim/Makefile.config |
|---|
| 0,0 → 1,2 |
| # Machine type |
| MACHINE = msim |
| /trunk/defaults/ia32/output |
|---|
| 0,0 → 1,0 |
| image.iso |
| /trunk/defaults/ia32/Makefile.config |
|---|
| 0,0 → 1,71 |
| # Platform |
| PLATFORM = ia32 |
| # CPU type |
| PROCESSOR = pentium4 |
| # Ramdisk format |
| RDFMT = fat |
| # Compiler |
| COMPILER = gcc_cross |
| # Debug build |
| CONFIG_DEBUG = y |
| # Deadlock detection support for spinlocks |
| CONFIG_DEBUG_SPINLOCK = y |
| # ACPI support |
| CONFIG_ACPI = y |
| # Support for SMP |
| CONFIG_SMP = y |
| # Improved support for hyperthreading |
| CONFIG_HT = y |
| # Lazy FPU context switching |
| CONFIG_FPU_LAZY = y |
| # Support for userspace debuggers |
| CONFIG_UDEBUG = y |
| # Kernel console support |
| CONFIG_KCONSOLE = y |
| # Detailed kernel logging |
| CONFIG_LOG = n |
| # Compile kernel tests |
| CONFIG_TEST = y |
| # What is your input device? |
| CONFIG_HID_IN = keyboard |
| # What is your output device? |
| CONFIG_HID_OUT = monitor |
| # i8042 controller support |
| CONFIG_I8042 = y |
| # PC keyboard support |
| CONFIG_PC_KBD = y |
| # EGA support |
| CONFIG_EGA = y |
| # Framebuffer support |
| CONFIG_FB = y |
| # Framebuffer width |
| CONFIG_VESA_WIDTH = 800 |
| # Framebuffer height |
| CONFIG_VESA_HEIGHT = 600 |
| # Framebuffer depth |
| CONFIG_VESA_BPP = 16 |
| # Keyboard layout |
| KBD_LAYOUT = us_qwerty |