BTW, JSON would cut, like 40% of the code, because most of it is to get formatting alignment nice ☺
On Thu, Dec 3, 2015 at 12:32 PM, Davide Libenzi <[email protected]> wrote: > I forgot what was the status of the discussion. > JSON only, or two devices (JSON and pretty)? > I think there was an agreement on external "pretty" tool, no? > > > On Thu, Dec 3, 2015 at 12:30 PM, ron minnich <[email protected]> wrote: > >> one request, and it's OK if you don't want to do it: could it be our >> first JSON output file? >> >> This is really cool. >> >> ron >> >> On Thu, Dec 3, 2015 at 12:27 PM 'Davide Libenzi' via Akaros < >> [email protected]> wrote: >> >>> 😀 >>> >>> / $ cat \#arch/interrupts >>> IRQ[ 49] IRQ[240] >>> CPU[ 0] 30 1573 >>> CPU[ 1] 0 0 >>> CPU[ 2] 0 0 >>> CPU[ 3] 0 0 >>> CPU[ 4] 0 0 >>> CPU[ 5] 0 0 >>> CPU[ 6] 0 0 >>> CPU[ 7] 0 0 >>> >>> >>> On Wed, Dec 2, 2015 at 2:18 PM, Davide Libenzi <[email protected]> >>> wrote: >>> >>>> Yes, that's what Ron was suggesting. >>>> >>>> >>>> On Wed, Dec 2, 2015 at 2:17 PM, Barret Rhoden <[email protected]> >>>> wrote: >>>> >>>>> On 2015-12-02 at 17:14 Barret Rhoden <[email protected]> wrote: >>>>> > On 2015-12-02 at 13:56 "'Davide Libenzi' via Akaros" >>>>> > <[email protected]> wrote: >>>>> > > Do we have an equivalent device file? >>>>> > > >>>>> > >>>>> > Nope, sorry. >>>>> >>>>> That being said, we could probably build one pretty easily, perhaps in >>>>> devarch. >>>>> >>>>> -- >>>>> You received this message because you are subscribed to the Google >>>>> Groups "Akaros" group. >>>>> To unsubscribe from this group and stop receiving emails from it, send >>>>> an email to [email protected]. >>>>> To post to this group, send email to [email protected]. >>>>> For more options, visit https://groups.google.com/d/optout. >>>>> >>>> >>>> >>> -- >>> You received this message because you are subscribed to the Google >>> Groups "Akaros" group. >>> To unsubscribe from this group and stop receiving emails from it, send >>> an email to [email protected]. >>> To post to this group, send email to [email protected]. >>> For more options, visit https://groups.google.com/d/optout. >>> >> -- >> You received this message because you are subscribed to the Google Groups >> "Akaros" group. >> To unsubscribe from this group and stop receiving emails from it, send an >> email to [email protected]. >> To post to this group, send email to [email protected]. >> For more options, visit https://groups.google.com/d/optout. >> > > -- You received this message because you are subscribed to the Google Groups "Akaros" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To post to this group, send email to [email protected]. For more options, visit https://groups.google.com/d/optout.
