At 16:57 +0100 on 05 Apr (1617641829), 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 shore a pointer to them. > > Signed-off-by: Julien Grall <jgr...@amazon.com>
Acked-by: Tim Deegan <t...@xen.org> Thanks, Tim.