On Tue, May 18, 2021 at 03:01:34PM +0100, Julien Grall wrote: > From: Julien Grall <jgr...@amazon.com> > > Literal strings are not meant to be modified. So we should use const > char * rather than char * when we want to store a pointer to them. > > Take the opportunity to remove the cast (char *) in console_init(). It > is unnecessary and will remove the const. > > Signed-off-by: Julien Grall <jgr...@amazon.com> > Acked-by: Wei Liu <w...@xen.org> > > --- > Changes in v2: > - Remove the cast (char *) in console_init()
Reviewed-by: Anthony PERARD <anthony.per...@citrix.com> Thanks, -- Anthony PERARD
