Files
retrobsd/sys/pic32/cfg/kernel.dev
Serge Vakulenko 3a38f291a7 Merged kernel support for ELF executable format from karolina.lindqvist.
Now kernel can directly run executables generated by gcc.
2014-04-23 21:43:09 -07:00

87 lines
1.6 KiB
Plaintext

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