secc
/
seL4-docs
mirror of https://github.com/seL4/docs.git
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

Remove broken ebay links 

Signed-off-by: Gerwin Klein <gerwin.klein@proofcraft.systems>
This commit is contained in:
Gerwin Klein 2025-07-15 10:13:30 +10:00
parent 386ad70e3e
commit 340faa762d
No known key found for this signature in database
GPG Key ID: 20A847CE6AB7F5F3
1 changed files with 6 additions and 8 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

14
CMA34DBMC/index.md
View File

@ -5,17 +5,15 @@ SPDX-License-Identifier: CC-BY-SA-4.0
SPDX-FileCopyrightText: 2020 seL4 Project a Series of LF Projects, LLC.
---
# CMA34D
The CMA34D is an embedded i7 board. It needs 12V and 5V supplies. It
does not have a BMC (Base Management Controller) so cannot be controlled
remotely.
We used a [Stellaris Connected Launchpad](http://www.ti.com/tool/ek-tm4c1294xl) connected to an
[RS232 level converter](http://www.ebay.com.au/itm/New-RS232-To-TTL-COM-Serial-Board-MAX232CSE-Converter-Module-/190880940437) and a 2-way
[Relay Module](http://www.ebay.com.au/itm/5V-Two-2-Channel-Relay-Module-With-Optocoupler-For-ARM-PIC-AVR-DSP-New-/181752994310), together with a suitable
[Power Supply](http://www.ebay.com.au/itm/Regulated-Switching-DC-Power-Supply-Input-AC-100V-240V-to-Output-5V-6A-12V-2A-/151483601531).
The exact parts don't matter, although I've given links to eBay stores
where the ones we used can be seen.
We used a [Stellaris Connected Launchpad](http://www.ti.com/tool/ek-tm4c1294xl)
connected to an RS232 level converter and a 2-way relay module, together with a
suitable power supply.
<img src="CMA34CRD-thumb.jpg" alt="Photo of CMA34CRD setup"/>
@ -33,6 +31,6 @@ packages/machine-tm4c1294-launchpad/projects/embedded_pc_testbed_src
The relays are connected to pins PK6 and PK7 on the launchpad; the UART
to pin PA0 (Rx) and PA1 (Tx). You'll need to swap the wires to the level
converter (so Rx from teh launcpad connects to Tx on the level
converter (so Rx from the launcpad connects to Tx on the level
converter, and vice versa); and make sure jumpers J4 and J5 are set to
`UART`.