[PATCH v5 16/16] docs: Update documentation for kconfig support

[Andrew Jones]

On Tue, Aug 02, 2022 at 10:11:15AM +0200, Andrew Jones wrote:
> On Tue, Aug 02, 2022 at 10:11:32AM +0530, Anup Patel wrote:
..
> > diff --git a/docs/platform/platform.md b/docs/platform/platform.md
> > index cb4bec6..b726e1d 100644
> > --- a/docs/platform/platform.md
> > +++ b/docs/platform/platform.md
> > @@ -42,8 +42,8 @@ OpenSBI currently supports the following virtual and hardware platforms:
> >  The code for these supported platforms can be used as example to implement
> >  support for other platforms. The *platform/template* directory also provides
> >  template files for implementing support for a new platform. The *object.mk*,
> 
> objects.mk
>

The makefile has a object.mk in a comment too that we should fix.

Makefile:234:# Include all object.mk files

Thanks,
drew