b613f5cb4b
XXX Hardcoded values for s_ipc_to and s_ipc_sendrec. |
||
---|---|---|
boot | ||
commands | ||
docs | ||
drivers | ||
etc | ||
include | ||
kernel | ||
lib | ||
man | ||
servers | ||
test | ||
tools | ||
LICENSE | ||
Makefile |
b613f5cb4b
XXX Hardcoded values for s_ipc_to and s_ipc_sendrec. |
||
---|---|---|
boot | ||
commands | ||
docs | ||
drivers | ||
etc | ||
include | ||
kernel | ||
lib | ||
man | ||
servers | ||
test | ||
tools | ||
LICENSE | ||
Makefile |