Porting Fiasco + L4Re to Raspberry Pi 2

Antoine DEBUT adebut at pactenovation.fr
Mon Feb 29 11:21:07 CET 2016


On Mon, 29 Feb 2016 10:59:40 +0100
Antoine DEBUT <adebut at pactenovation.fr> wrote:

> The correct RAM size is indeed 940MB instead of 1024MB

Oops typo ! 960MB is the correct size.

Best regards,

-- 
Antoine Debut
EPITA 2016 - GISTRE




More information about the l4-hackers mailing list