[PATCH] score: Fix _Workspace_Initialize_for_one_area()

[Sebastian Huber]

On 07/12/2021 18:07, Sebastian Huber wrote:
> In _Workspace_Initialize_for_one_area(), properly check  if there is enough
> free memory available for the configured workspace size.
> 
> The bug was introduced by commit 3d0620b607ff6459fec9d30efc1e0589bbd010f9.

Please ignore this patch. Our mail server restarted and I sent it twice.

-- 
embedded brains GmbH
Herr Sebastian HUBER
Dornierstr. 4
82178 Puchheim
Germany
email: sebastian.huber at embedded-brains.de
phone: +49-89-18 94 741 - 16
fax:   +49-89-18 94 741 - 08

Registergericht: Amtsgericht München
Registernummer: HRB 157899
Vertretungsberechtigte Geschäftsführer: Peter Rasmussen, Thomas Dörfler
Unsere Datenschutzerklärung finden Sie hier:
https://embedded-brains.de/datenschutzerklaerung/