Ben Gras 3b814d36d1 Rename paramctl to setgrant.

2006-06-23 15:35:05 +00:00

boot

Fix for KERNEL definition.

2006-06-20 10:13:32 +00:00

commands

Everyone's endpoint number

2006-06-23 12:16:22 +00:00

drivers

Changed order of -lsys and -lsysutil for printf()

2006-06-20 10:50:29 +00:00

etc

There is no lex.

2006-06-20 10:14:25 +00:00

include

Rename paramctl to setgrant.

2006-06-23 15:35:05 +00:00

kernel

Rename paramctl to setgrant.

2006-06-23 15:35:05 +00:00

lib

Rename paramctl to setgrant.

2006-06-23 15:35:05 +00:00

man

New option -E for ps that prints endpoint numbers instead of pids.

2006-06-23 11:59:20 +00:00

servers

Print ipc_to in hex. Also print the 'system' call mask.

2006-06-23 13:27:03 +00:00

test

More fixes to reality

2006-03-16 01:47:52 +00:00

tools

Fixes for usb and bios.

2006-06-20 10:13:56 +00:00

LICENSE

*** empty log message ***

2006-03-08 16:34:36 +00:00

Makefile

No gmake in use

2006-03-08 16:46:40 +00:00

Description

No description provided

201 MiB