Where communities thrive


  • Join over 1.5M+ people
  • Join over 100K+ communities
  • Free without limits
  • Create your own community
People
Activity
    Holger Rodriguez
    @hgrodriguez
    @jeremy:synack.me great work!
    Jeremy Grosser
    @jeremy:synack.me
    [m]
    @Fabien-Chouteau nice blog post about usb_embedded. As far as RP2040 support, it's included in the 0.7.0 release and works well for me.
    Fabien Chouteau
    @Fabien-Chouteau
    Thanks, I updated the last sentence.
    Holger Rodriguez
    @hgrodriguez
    I implemented the client library:
    https://github.com/hgrodriguez/edc-client
    for the dashboard:
    https://github.com/hgrodriguez/embedded-dashboard-console
    and I added examples for the ItsyBitsy and Pico board to ensure, that it works and that I have code that can be used by anyone who is interested.
    In case you can spare a couple of minutes, let me know your feedback about this code.
    It is the first Ada code I wrote for publishing, so I hope, that it is acceptable in the community and is of any value for anyone else than me.
    I will start using it for my small projects to come.
    So let me know what you think and have a nice weekend.
    I want to thank all of you, especially @jeremy:synack.me and @Fabien-Chouteau for your outstanding support.
    Fabien Chouteau
    @Fabien-Chouteau
    :thumbsup:
    Jeremy Grosser
    @jeremy:synack.me
    [m]
    got AUnit setup, started writing tests, already found a small bug!
    Daniel King
    @damaki:matrix.org
    [m]
    Nice! What are you testing?
    Jeremy Grosser
    @jeremy:synack.me
    [m]
    everything, eventually
    I see @Fabien-Chouteau has been working on getting gnatcov working in CI and that's inspired me
    Daniel King
    @damaki:matrix.org
    [m]
    For rp2040_hal?
    Jeremy Grosser
    @jeremy:synack.me
    [m]
    yeah
    Daniel King
    @damaki:matrix.org
    [m]
    I'm curious how you can unit test the HAL. Won't you need some external hardware to check that it's working?
    E.g. that the UART actually sends data correctly
    Jeremy Grosser
    @jeremy:synack.me
    [m]
    just wires... I can setup two UARTs and have them talk to each other
    Daniel King
    @damaki:matrix.org
    [m]
    Ah ok so you will have some hardware setup to go with it
    Jeremy Grosser
    @jeremy:synack.me
    [m]
    actually, I think the UART peripheral has an internal loopback flag
    Daniel King
    @damaki:matrix.org
    [m]
    It'll be really nice to get some test coverage on this stuff
    Jeremy Grosser
    @jeremy:synack.me
    [m]
    yep, UARTCR.LBE
    Daniel King
    @damaki:matrix.org
    [m]
    Oohh never seen that feature on a UART before
    Jeremy Grosser
    @jeremy:synack.me
    [m]
    the SERCOM on the SAMD chips has it too
    very useful for testing
    anyway, if the test wiring gets complicated, I can make a PCB for it
    might make sense to have another Pico setup as a logic analyzer to make sure there are no timing bugs
    Fabien Chouteau
    @Fabien-Chouteau
    Coverage should be possible with GNATcov instrumentation mode. There will be a question memory usage, but the RP2040 is not that bad on RAM.
    Daniel King
    @damaki:matrix.org
    [m]
    I thought GNATcov was only available through GNAT Pro. Is that correct?
    Jeremy Grosser
    @jeremy:synack.me
    [m]
    There's an alire crate for it, sooo
    Daniel King
    @damaki:matrix.org
    [m]
    I didn't know that! Cool
    Fabien Chouteau
    @Fabien-Chouteau

    Hello @/all I am starting a run-time crate for Alire that would be more or less the equivalent of ZFP but hopefully customizable for any target. I am thinking about different names for the crates, I don't want to re-use one of the existing names (ZFP, light, minimal, etc.) because I want to be able to modify the content of this run-time and that would be confusing.

    I made a list of candidates and I would like to have your opinions:

     - micro_runtime
     - tiny_runtime
     - sparse_runtime
     - mini_runtime
     - bare_runtime
     - nostd_runtime
     - reduced_runtime
     - thin_runtime
     - little_runtime
     - lesser_runtime
     - trivial_runtime
     - meager_runtime
     - spartan_runtime
    DrPi
    @drpi:matrix.org
    [m]
    I vote for Number 5.
    bare_metal_runtime would be more explicit but maybe there is a name length limitation.
    Fabien Chouteau
    @Fabien-Chouteau
    I didn't add metal on purpose because "bare metal" would not necessarily be the only application. This run-time could be useful for instance for WebAssembly I think.
    Jeremy Grosser
    @jeremy:synack.me
    [m]
    bare_runtime would be my choice
    Jeremy Grosser
    @jeremy:synack.me
    [m]

    I'd prefer not to use diminuitive terms, so that excludes little, reduced, lesser, trivial, meager.
    sparse reminds me of sparse data structures.
    spartan sounds cool, but is not very descriptive.
    nostd seems like an unnecessary abbreviation.
    mini reminds me of floppy-sized linux distros and BSD install images.
    thin is used to describe a type of binding library in Ada
    micro implies that it's for microcontrollers, which as you say, may not be true for wasm

    That leaves tiny and bare. bare seems like the more neutral term.

    my criteria are completely arbitrary, so feel free to ignore me, I think they'd all be acceptable names.
    Fabien Chouteau
    @Fabien-Chouteau
    Thanks, it all make sens :)
    To be honest I am not a huge fan of bare_runtime, it doesn't sound great to me...
    But it might be the best choice anyway.
    Jeremy Grosser
    @jeremy:synack.me
    [m]
    minimal_runtime maybe?
    oh, that's in your list of already used
    base_runtime?
    1 reply
    DrPi
    @drpi:matrix.org
    [m]
    no_task_runtime ?
    Daniel King
    @damaki:matrix.org
    [m]
    basic_runtime is my favourite out of all the ones I've seen so far
    Jeremy Grosser
    @jeremy:synack.me
    [m]
    basic_runtime implies the existence of an advanced_runtime which would be a nice renaming of jorvik if that was something we wanted to do
    Daniel King
    @damaki:matrix.org
    [m]
    I don't think it necessarily describes the existence of other runtimes.
    The good names (e.g. minimal) are already taken :(
    Does Alire now support runtime crates?
    Jeremy Grosser
    @jeremy:synack.me
    [m]
    it sounds like that's what Fabien is working on, which is exciting
    Daniel King
    @damaki:matrix.org
    [m]
    yeah, I'd love to see that
    Jeremy Grosser
    @jeremy:synack.me
    [m]
    Fabien Chouteau
    @Fabien-Chouteau
    pure_runtime?
    Daniel King
    @damaki:matrix.org
    [m]
    "pure" makes me think of pragma Pure, and I don't think it accurately describes the main property of the runtime, which is its size (ZFP-like)
    Naming is hard