The maximum numbers of CPUs is 31, not 32.
commitb053f2290dc5f44727f4b4e41d1b6ee7c960b969
authorswildner <swildner>
Tue, 24 Jul 2007 14:02:10 +0000 (24 14:02 +0000)
committerswildner <swildner>
Tue, 24 Jul 2007 14:02:10 +0000 (24 14:02 +0000)
tree9aaf58c0e944c71275c058750a7ead3a90533197
parentc86c89820b1dde01ba54100ddd83fcfce7abf2fa
The maximum numbers of CPUs is 31, not 32.

Submitted-by: Max Herrgaard <herrgaard@gmail.com>
share/man/man7/vkernel.7