diff options
| author | Roland McGrath <roland@gnu.org> | 1995-05-13 07:09:44 +0000 |
|---|---|---|
| committer | Roland McGrath <roland@gnu.org> | 1995-05-13 07:09:44 +0000 |
| commit | 0901c6a2fec314995c64b7617265de3bd1802a2d (patch) | |
| tree | 110ca4fe7dcf262c0861ff39476e66835f2f8fc2 /Makefile | |
| parent | fea26b16c6ae8a14843e23172ffdd06f8e3b82dd (diff) | |
(diskfs_execserver_task): New variable.
(diskfs_parse_bootargs): Take a third integer arg before the device name,
our name for the task port of the exec server, which is loaded and ready
to run but suspended.
Diffstat (limited to 'Makefile')
0 files changed, 0 insertions, 0 deletions