Re: [Minios-devel] [UNIKRAFT PATCH 2/9] lib/ukboot: Use printf() for banner and weak main()

[Sharan Santhanam <sharan.santhanam@xxxxxxxxx>]

Hello Simon,

This patch looks fine.

Reviewed-by: Sharan Santhanam <sharan.santhanam@xxxxxxxxx>

On 09/25/2018 02:52 PM, Simon Kuenzer wrote:
> uk_printkd(DLVL_ERR, "weak main() called. Symbol was not replaced!\n");
> +       printf("weak main() called. Symbol was not replaced!\n");
>         return -EINVAL;

Thanks & Regards
Sharan Santhanam

_______________________________________________
Minios-devel mailing list
Minios-devel@xxxxxxxxxxxxxxxxxxxx
https://lists.xenproject.org/mailman/listinfo/minios-devel