Marcel Moolenaar fa3b7cae8d Catch up with other platforms: switch the default scheduler to 4BSD.

2004-09-12 05:50:32 +00:00

..

GENERIC

Catch up with other platforms: switch the default scheduler to 4BSD.

2004-09-12 05:50:32 +00:00

GENERIC.hints

…

Makefile

…

NOTES

Catch up with the drive-by renaming of IA32 to COMPAT_IA32. Missed

2004-08-27 21:57:00 +00:00

SKI

Catch up with other platforms: switch the default scheduler to 4BSD.

2004-09-12 05:50:32 +00:00