From mboxrd@z Thu Jan  1 00:00:00 1970
From: Andreas Schwab <schwab@suse.de>
Date: Wed, 06 Mar 2019 11:56:38 +0100
Subject: [U-Boot] [PATCH v2 0/9] SMP support for RISC-V
In-Reply-To: <MN2PR04MB60615039D9B1F40BE40C8B458D730@MN2PR04MB6061.namprd04.prod.outlook.com>
 (Anup Patel's message of "Wed, 6 Mar 2019 10:07:42 +0000")
References: <20190305225331.1353-1-lukas.auer@aisec.fraunhofer.de>
 <MN2PR04MB60618B048C44117C238D63428D730@MN2PR04MB6061.namprd04.prod.outlook.com>
 <43f4d91c1ae43e5eea5222ad15c2671a6421866f.camel@aisec.fraunhofer.de>
 <MN2PR04MB60615039D9B1F40BE40C8B458D730@MN2PR04MB6061.namprd04.prod.outlook.com>
Message-ID: <mvmva0wxod5.fsf@suse.de>
List-Id: <u-boot.lists.denx.de>
MIME-Version: 1.0
Content-Type: text/plain; charset="us-ascii"
Content-Transfer-Encoding: 7bit
To: u-boot@lists.denx.de

Apparently sometimes u-boot tries to boot the kernel on heart 0 (the E51
core), which will then fail to start userspace, since that cannot cope
with the missing fpu.

Andreas.

-- 
Andreas Schwab, SUSE Labs, schwab at suse.de
GPG Key fingerprint = 0196 BAD8 1CE9 1970 F4BE  1748 E4D4 88E3 0EEA B9D7
"And now for something completely different."