kernel - (32 bit) fix MP boot problems
authorMatthew Dillon <dillon@apollo.backplane.com>
Tue, 8 Jul 2014 18:17:48 +0000 (11:17 -0700)
committerMatthew Dillon <dillon@apollo.backplane.com>
Tue, 8 Jul 2014 18:17:48 +0000 (11:17 -0700)
commitb3b03e93a528676294dc8f6bac1d6a3270de43c8
tree7f685e9f001ebc38954005806bab56fb3626485e
parentd426e766ae8b6fc28cec15f97be945302271df85
kernel - (32 bit) fix MP boot problems

* Same bug fix for bootstrapping the idle thread as in other architectures.
sys/platform/pc32/i386/swtch.s