Switch to kconfig completely.

All configsys stuff moved to tools/configsys/ directory, not used anymore.

tools/configsys/dev/kernel.dev

@@ -0,0 +1,86 @@
+always
+    define KERNEL
+    define UCB_METER
+    define EXEC_AOUT
+    define EXEC_ELF
+    define EXEC_SCRIPT
+    file startup.o
+    file clock.o
+    file devsw.o
+    file sysctl.o
+    file signal.o
+    file machdep.o
+    file mem.o
+    file exception.o
+    file exec_aout.o
+    file exec_conf.o
+    file exec_elf.o
+    file exec_script.o
+    file exec_subr.o
+    file init_main.o
+    file init_sysent.o
+    file kern_clock.o
+    file kern_descrip.o
+    file kern_exec.o
+    file kern_exit.o
+    file kern_fork.o
+    file kern_mman.o
+    file kern_proc.o
+    file kern_prot.o
+    file kern_prot2.o
+    file kern_resource.o
+    file kern_sig.o
+    file kern_sig2.o
+    file kern_subr.o
+    file kern_synch.o
+    file kern_sysctl.o
+    file kern_time.o
+    file subr_prf.o
+    file subr_rmap.o
+    file sys_generic.o
+    file sys_inode.o
+    file syscalls.o
+    file sys_pipe.o
+    file sys_process.o
+    file vfs_vnops.o
+    file vm_sched.o
+    file vm_swap.o
+    file vm_swp.o
+    file swap.o
+    file vers.o
+    require ufs
+    require tty
+    require global
+
+    define CPU_KHZ '((CRYSTAL*1000)/CPU_IDIV*CPU_MUL/CPU_ODIV)'
+    define BUS_KHZ 'CPU_KHZ/BUS_DIV'
+
+end always
+
+option cpu_khz
+    define CPU_KHZ %1
+end option
+
+option bus_khz
+    define BUS_KHZ %1
+end option
+
+option led
+    define LED_KERNEL_PORT  $TRIS(%1)
+    define LED_KERNEL_PIN   $PIN(%1)
+end option
+
+option invled
+    define LED_KERNEL_PORT  $TRIS(%1)
+    define LED_KERNEL_PIN   $PIN(%1)
+    define LED_KERNEL_INVERT YES
+end option
+
+option highlight
+    define KERNEL_HIGHLIGHT YES
+end option
+
+option clear_pin
+    define GPIO_CLEAR_PORT $TRIS(%1)
+    define GPIO_CLEAR_PIN  $PIN(%1)
+end option