On 19/04/2019 12:18, KONRAD Frederic wrote: > This adds a little bootloader to the leon3_machine when a ram image is > given through the kernel parameter and no bios are provided: > * The UART transmiter is enabled. > * The TIMER is initialized. > > Signed-off-by: KONRAD Frederic <frederic.kon...@adacore.com>
Reviewed-by: Fabien Chouteau <chout...@adacore.com>