diff options
| author | Guillem Jover <guillem@debian.org> | 2006-02-02 04:29:43 +0000 |
|---|---|---|
| committer | Guillem Jover <guillem@debian.org> | 2006-02-02 04:29:43 +0000 |
| commit | 8e32f37752c300a27cffeb28c832982c51f845fa (patch) | |
| tree | 0aa08e60ec95512526704bf3370b61e56ea32989 /debian/gnumach.info | |
| parent | 88f47da9bee3cdd5cebe4398d3ce3500ec0348de (diff) | |
* Make the Linux device drivers use dynamic memory allocation via the
glue code.
- debian/patches/61_vm_resident-zoned.patch: New file.
Thanks to Gianluca Guida <glguida@gmail.com>.
Diffstat (limited to 'debian/gnumach.info')
0 files changed, 0 insertions, 0 deletions