#tock

/

      • ppannuto has quit
      • zmbush joined the channel
      • ppannuto joined the channel
      • tavish joined the channel
      • tavish has quit
      • kickliter joined the channel
      • kickliter has quit
      • kickliter joined the channel
      • kickliter has quit
      • kickliter joined the channel
      • kickliter
        Can anyone point me to either documentation or a real-world example of an out of tree build?
      • ppannuto
      • though at this second, that's a little behind (we have a paper deadline in ~8 days)
      • this branch tracks latest tock master: https://github.com/lab11/signpost/tree/tock-master
      • kickliter
        thanks
      • ppannuto
        sure, caveat that that repo's likely a bit messier (more on the research-y / get stuff working side of code), feel free to ping with questions
      • the userland build system just underwent a pretty sizeable overhaul when we added TAB [tock application bundle] support, so documentation likely behind at the moment
      • kickliter
        I actually started with that as a template, but I can't get the apps to build.
      • ppannuto
        the signpost repo? yeah, it's master branch is pretty behind tock master at the moment. I literally finished making it work with the new userland build system minutes ago (the tock-master branch), so you have great timing :)
      • kickliter
        I've got a pretty messy setup. I'm trying to bring up a new board, a new chip, and add systick to the m0 crate (on a forked tock) all at the same time
      • I actually found an NRF51dk board in the office here, but I can't even get that to work. the kernel loads, but the flash-full target in the board makefile doesn't work
      • alright, double-check everything against the signpost repo and get back at it.
      • alevy
        kickliter: a simpler one might be github.com/domrizzo/tock-hotel
      • ppannuto
        I don't have any substantive experience with nrf51 and tock unfortunately, but niklasad1 and frenicth have been working pretty extensively with it, so they may be able to help with any quirks there
      • kickliter
        alevy: oh, thanks. I never found that one when I was googling for examples
      • kickliter has quit
      • ppannuto
        alevy: dom's repo looks like the last commit was Jan 17, so that may be a bit painful to try to adapt
      • kickliter joined the channel
      • alevy
        Ah fair
      • I can't vouch for flash-all working on the nrf51. What definitely works for me is make flash from the board, then `make TOCK_BOARD=nrf51dk flash` from an app (like the blink app)
      • kickliter
        I think that might be the piece I was missing. I'll try it out. thanks
      • niklasad1
        hello guys, we have used 'make TOCK_BOARD=nrf51dk flash' as @alevy said
      • alevy
        If you happen to be taking some sort of notes (mental or otherwise) on what about the documentation is broken we would really appreciate the feedback (or a PR even!!)
      • kickliter
        I've been keeping some running notes here https://gist.github.com/JayKickliter/bd595b91d5...
      • alevy
        Amazing, thanks Jay!
      • kickliter
        My biggest stum
      • My biggest stumbling block has been never writing arm-assembly before, and doing it for the first with Rust/LLVM, which seems be to be a bit different. But that's not really tock's problem
      • ppannuto
        ooh.. if you're writing inline asm, we have some outstanding fixes that aren't in master [again, sorry]
      • our current stuff doesn't mark register inputs/outputs/clobbers correctly, which we're getting away with because the function signatures end up making things work out, but that fails if these are ever inlined (and they really should just be made correct anyway)
      • kickliter
        Does the problem apply to c, rust, or both?
      • ppannuto
        both I suppose, rust borrowed C's inline asm syntax, so they're the same
      • kickliter
        That part confused me. The rust docs basically punt to LLVM's for inline assembly. And I had just been running under the assumption that it was different than GCC's
      • ppannuto
        as far as I know they're identical, which I'm going to assert with about 85% confidence :)