NetBSD/sys/arch/evbarm/include
skrll ee91b1e521 FDTise RapberryPI support. Thanks for jmcneill for a lot of help with this.
The kernel image that the RPI firmware boots is now netbsd.img in the
kernel build directory.

XXX fdtbus_get_reg needs reworking
2017-12-10 21:38:26 +00:00
..
Makefile
ansi.h
aout_machdep.h
asm.h
atomic.h
autoconf.h
bootconfig.h Wrap include of opt_machdep.h in ifdef _KERNEL_OPT 2017-07-05 09:37:14 +00:00
bswap.h
bus_defs.h
bus_funcs.h
cdefs.h
cpu.h
cpu_counter.h
db_machdep.h
disklabel.h
elf_machdep.h
endian.h
endian_machdep.h
float.h
frame.h
ieee.h
ieeefp.h
int_const.h
int_fmtio.h
int_limits.h
int_mwgwtypes.h
int_types.h
intr.h
isa_machdep.h
joystick.h
limits.h
loadfile_machdep.h
lock.h
math.h
mcontext.h
mutex.h
netbsd32_machdep.h
param.h
pcb.h
pci_machdep.h
pio.h
pmap.h
pmc.h
proc.h
profile.h
ptrace.h
reg.h
rwlock.h
setjmp.h
signal.h
sljit_machdep.h
sysarch.h
trap.h
types.h
vmparam.h FDTise RapberryPI support. Thanks for jmcneill for a lot of help with this. 2017-12-10 21:38:26 +00:00
wchar_limits.h