martin 719a906ef5 As discussed on tech-kern: mutex_init is too heavyweight for early bootstrap ... phases, so move the initialization of the ksyms mutex back into main via a function called ksyms_init. Rename the existing (but quite different) ksyms_init* variations into ksyms_addsyms_elf() and ksyms_addsyms_explicit() and adapt machdep code accordingly.		2008-11-30 18:21:31 +00:00
..
armadillo9_com.c
armadillo9_iic.c	revise for reorganized MI i2c_bitbang.c	2008-06-10 13:53:28 +00:00
armadillo9_machdep.c	As discussed on tech-kern: mutex_init is too heavyweight for early bootstrap	2008-11-30 18:21:31 +00:00
armadillo9_pcic.c
armadillo9_start.S
armadillo9reg.h
armadillo9var.h
TODO