OM11-kontor-2016:~ teig$ cd /Applications/IceStorm ls OM11-kontor-2016:IceStorm teig$ git clone https://github.com/cliffordwolf/yosys.git yosys Cloning into ‘yosys’… remote: Enumerating objects: 266, done. remote: Counting objects: 100% (266/266), done. remote: Compressing objects: 100% (169/169), done. remote: Total 44441 (delta 174), reused 156 (delta 97), pack-reused 44175 Receiving objects: 100% (44441/44441), 12.69 MiB | 6.65 MiB/s, done. Resolving deltas: 100% […]
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 […]
Started 2Feb2018, updated 13May2021 This page is in group Technology (plus My XMOS pages) and is a blog note with some XMOS xC code examples. I also have some ported code that I thought may be placed here. I also am describing some problems. None of this is on GitHub. I guess that the parent note is xC […]
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 6Oct2017. Udated 10Aug2018 This page is in group Technology (plus My XMOS pages) and is a blog note where I will try to describe a WiFi card (that I call PiggyBack WiFi1500 sliceCARD) that is meant to replace another WiFi board (XMOS WiFi sliceCARD) and be a pin plug-in replacement, meant for the two XMOS boards startKIT and […]
Started 15Sept2017, updated 08Apr2024 (Efficient Computer Corp., xCORE-200 soon EOL, xcore.ai evaluation kit (was Explorer board) This note is in group Technology, (plus perhaps My Beep-BRRR pages and My XMOS pages) and is a blog note where I will try to lay out the reasons why I have ended up with some single-board microcontroller (not computers) and not some […]
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. […]
New: 23Feb2017, updated 23Sep2021 This page is in group Technology. Intro I have recently read myself up some on code coverage analysis. I have discovered something called MC/DC which stands for Modified Condition/Decision Coverage. Here’s an example of some of the different parts of code that need to be tested for coverage (from [1]): if (Entree […]
