NetBSD Kernels

The GENERIC kernels shipped with NetBSD should work on any Toshiba notebook. Please see the download page for some optimized kernels & kernel config files.

On some machines (e.g. Satellite T2130CT) it might be needed to change the interrupt allocation mask or IO space used for cards. To change this, use the following commands:

# gdb --write /netbsd
(gdb) set pcic_isa_intr_alloc_mask=0x0a08
(gdb) set pcic_isa_alloc_iobase=0x330
(gdb) set pcic_isa_alloc_iosize=0x0bf
(gdb) quit
#
     
Please note that these commands change your kernel in /netbsd. You can also set the values by putting the following into your kernel config file:

options PCIC_ISA_INTR_ALLOC_MASK=0x0a008
options PCIC_ISA_ALLOC_IOBASE=0x330
options PCIC_ISA_ALLOC_IOSIZE=0x0bf
     
Of course the actual values may vary for your machine. Exact information can be determined with dmesg(8) output.

For more information regarding the NetBSD kernel, please see the NetBSD Kernel FAQ.