Started 9Jul2019 as chapters being moved from other notes. Updated 25Sep2023 («A9 SoC on Xilinx») This page is in group Technology and is a blog note where I will try to keep a scratchpad of what I might find out about the Zephyr RTOS. Sharing Zephyr with others Because I was rather confused I have had help […]
Started 8Jan2019, updated 9Nov2021 (Timed C) This page is in group Technology and is a blog note where I will try to have a fresh view (as of 2019) of what might be going on with concurrency and Real-Time Operating Systems (RTOS) in the small embedded systems world. Here I would think mostly of what might run […]
New 15Aug2018,updated 7Oct2022 This note is in group Technology (plus My XMOS pages). Also see «the next» Fringe, filled with the same theme: IEEE-COPA 2021 fringe. For the TIOBE index 016:[10]: «xC programming». Also see IEEE-COPA 2021 fringe The presentation This presentation is for the CPA 2018 conference in Dresden (Update 6Oct2022: dead url (but Wayback Machine here), the only […]
Started 7Dec2017. Concluded 23Dec2017 This page is in group Technology (plus My XMOS pages) and is a blog note where I will discuss the route ahead. Should I do the My WiFi101 library port as I promised myself to try, or should I add a second box that I talk with over BLE (Bluetooth Low Energy)? Conclusion 23Dec2017: I did neither; […]
Started 6Aug2017, updated 14Dec2022 («RISC-V») This page is in group Technology (plus My XMOS pages) where I will try to add matters about my XMOS xCORE-200 eXplorerKITs that I haven’t found elsewhere. I purchased two of these boards in the summer of 2017. It turned out to become an XMOS embedded WiFi blog note. This note has ended […]
New 19Dec2011, moved here 11April2017, updated 03Mar2024 This note is in group Technology and My Go (golang) notes, and discusses the Ada Ravenscar Profile (subset) for safety-critical systems – as seen from the outside of the Ada community. (Update 28Apr2019: observe that the Ada Conformity Assessment Authority works on another profile, the Ada Jorvik Profile that […]
Started 7April2017, updated 29Aug2024 (All www.xcore.ai replaced with www.xcore.com. XCore Exchange bullet 2. Replicated select case) This page is in group Technology (plus My XMOS pages) and is a blog note trying to scribble down some info about the XMOS xC language that I haven’t found elsewhere. I love it. But, alas, xC appears as C plus unknown X. […]
Published 22Dec2016. More like a scratchpad, updated 15July2019 This page is in group Technology. If you want to follow me to try to find out why queueing of entry calls in Ada causes nondeterminstic (scheduling? timing? deadline?) and try to understand why the scheduling of processes on the defunct transputer is the opposite(?), then jump […]
New: 12Oct2016. Last updated 25Aug2021 This page is in group Technology. This note started with an attempt to look at how channels are modelled (in code, really) but then ended up with trying to systemise what I found. The note was even called Channel structures at the start. Fold handling with Collapse-O-Matic plugin I am using Collape-O-Matic (here) […]
I try to study the IncludeOS with respect to mult-threadedness or even concurrency