[OpenBIOS] [PATCH 2/2] implement convert_to_ints()

[G 3]

On Sep 25, 2016, at 12:21 PM, Segher Boessenkool wrote:

> On Sun, Sep 25, 2016 at 11:50:50AM -0400, Tarl Neustaedter wrote:
>> On 2016-Sep-25 11:22 , Segher Boessenkool wrote:
>>> This isn't about device arguments.  This is about using strings in
>>> properties to denote an array of integers; which is just a dumb  
>>> thing
>>> to do.
>>
>> My understanding was that this was to allow specifying a display
>> resolution from the command line.
>
> As far as I understand it it is about getting a list of supported
> resolutions?

That is exactly what is being done.