When pxebooted loader is detected not only change the kernel name, but
[dragonfly.git] / sys / boot / arc / include /
drwxr-xr-x   ..
-rw-r--r-- 7132 arcfuncs.h
-rw-r--r-- 7301 arctypes.h
-rw-r--r-- 2954 libarc.h