diff options
| author | tschwinge <tschwinge@web> | 2008-10-13 23:27:18 +0000 |
|---|---|---|
| committer | GNU Hurd wiki engine <web-hurd@gnu.org> | 2008-10-13 23:27:18 +0000 |
| commit | 4e6b06afee82d6ff4901ca4626f57a58638f2eea (patch) | |
| tree | f8ce8d522b12d1fc2b50878b3bbc67f21608495f /microkernel | |
| parent | be4619e0a1ed62c7acb9d09ce3d96fe5c5ec2733 (diff) | |
GDB: using port's ids as thread ids?
Diffstat (limited to 'microkernel')
0 files changed, 0 insertions, 0 deletions