| /kernel/trunk/tools/config.py |
|---|
| 80,6 → 80,7 |
| sys.stdout.write('Enter choice number: ') |
| def menu(self, text, choices, button, defopt=None): |
| self.title = 'Main menu' |
| menu = [] |
| for key, descr in choices: |
| txt = key + (45-len(key))*' ' + ': ' + descr |
| 177,6 → 178,7 |
| return 'n' |
| def menu(self, text, choices, button, defopt=None): |
| self.title = 'Main menu' |
| text = text + ':' |
| width = '70' |
| height = str(8 + len(choices)) |
| /kernel/trunk/arch/mips32/Makefile.inc |
|---|
| 55,7 → 55,7 |
| # We have to compile it with mips-sgi-irix5 to get it right. |
| BFD_NAME = elf32-bigmips |
| BFD = ecoff-bigmips |
| BFD = ecoff-bigmips --impure |
| TARGET = mips-sgi-irix5 |
| TOOLCHAIN_DIR = /usr/local/mips/bin |
| KERNEL_LOAD_ADDRESS = 0x88002000 |