Waldemar Brodkorb 96b68fb704 fix 32 bit userland with 64 bit kernel support hace 10 años
..
Makefile 96b68fb704 fix 32 bit userland with 64 bit kernel support hace 10 años