EmbeddedHaskell - Revision history

imported>Rmarko: book links

2019-04-02T08:50:10Z

book links

← Older revision		Revision as of 08:50, 2 April 2019
Line 21:		Line 21:
	* http://ivorylang.org/		* http://ivorylang.org/
	* http://ivorylang.org/tower-overview.html		* http://ivorylang.org/tower-overview.html

			Work in progress book:

			* http://48.io/~rmarko/book/
			* Sources https://github.com/HaskellEmbedded/book

	==== Repositories ====		==== Repositories ====

imported>Rmarko: fix links

2019-04-02T08:50:03Z

fix links

← Older revision		Revision as of 08:50, 2 April 2019
Line 46:		Line 46:
	UART2CAN bridge (with kernel support via SLCAN protocol) and CAN development board/firmware.		UART2CAN bridge (with kernel support via SLCAN protocol) and CAN development board/firmware.

	* https://~~git~~.~~48.io~~/can4disco		* https://github.com/distrap/can4disco
	* https://~~git~~.~~48.io~~/can4disco-hw		* https://github.com/distrap/can4disco-hw

	===== ODrive experimental firmware =====		===== ODrive experimental firmware =====
Line 53:		Line 53:
	Brushless DC motor controller firmware for ODrive board.		Brushless DC motor controller firmware for ODrive board.

	* https://~~git~~.~~48.io~~/~~odrive~~		* https://github.com/distrap/lambdadrive
	* https://hackaday.io/project/11583-odrive-high-performance-motor-control/		* https://hackaday.io/project/11583-odrive-high-performance-motor-control/

Line 66:		Line 66:
	* https://github.com/distrap/ivory-tower-base		* https://github.com/distrap/ivory-tower-base
	* https://github.com/distrap/ivory-tower-canopen		* https://github.com/distrap/ivory-tower-canopen
	* https://~~git~~.~~48.io~~/ivory-tower-hxstream		* https://github.com/distrap/ivory-tower-hxstream
	* https://~~git~~.~~48.io~~/ivory-tower-helloworld		* https://github.com/distrap/ivory-tower-helloworld

	==== Working with Ivory Tower ====		==== Working with Ivory Tower ====

imported>Rmarko: extend other sections

2017-08-20T13:05:28Z

extend other sections

@@ Line 110: / Line 110: @@
 screen /dev/f4uart 115200
 }}
 == Copilot ==
@@ Line 115: / Line 127: @@
 * https://leepike.github.io/Copilot/
-== Atom ==
+Copilot is a stream (i.e., infinite lists)
 == Ion ==
 * https://github.com/HaskellEmbedded/ion

imported>Rmarko: more local projects

2017-06-22T17:49:56Z

more local projects

← Older revision		Revision as of 17:49, 22 June 2017
Line 43:		Line 43:

	===== CAN4DISCO =====		===== CAN4DISCO =====

			UART2CAN bridge (with kernel support via SLCAN protocol) and CAN development board/firmware.

	* https://git.48.io/can4disco		* https://git.48.io/can4disco
Line 48:		Line 50:

	===== ODrive experimental firmware =====		===== ODrive experimental firmware =====

			Brushless DC motor controller firmware for ODrive board.

	* https://git.48.io/odrive		* https://git.48.io/odrive
	* https://hackaday.io/project/11583-odrive-high-performance-motor-control/		* https://hackaday.io/project/11583-odrive-high-performance-motor-control/

			===== HEXAMON Firmware =====

			Beehive monitoring node firmware.

			* https://github.com/lucansky/hexamon-firmware

			===== Various =====

			* https://github.com/distrap/ivory-tower-base
			* https://github.com/distrap/ivory-tower-canopen
			* https://git.48.io/ivory-tower-hxstream
			* https://git.48.io/ivory-tower-helloworld

	==== Working with Ivory Tower ====		==== Working with Ivory Tower ====

imported>Rmarko: uart test app comment

2017-06-19T17:27:07Z

uart test app comment

← Older revision		Revision as of 17:27, 19 June 2017
Line 90:		Line 90:

	# try talking to /dev/f4uart		# try talking to /dev/f4uart
	# bsp-uart-test app accepts '0' '1' ~~chars which should toggle led~~		# bsp-uart-test app accepts characters '1' for output on and '2' for output off
	screen /dev/f4uart 115200		screen /dev/f4uart 115200
	}}		}}

imported>Rmarko: #haskell-embedded

2017-03-16T00:31:33Z

#haskell-embedded

← Older revision		Revision as of 00:31, 16 March 2017
Line 9:		Line 9:

	* Haskell embedded blog https://haskellembedded.github.io/		* Haskell embedded blog https://haskellembedded.github.io/
			* #haskell-embedded on freenode

	== Frameworks ==		== Frameworks ==

imported>Rmarko: formatting, ion, haskell embedded blog

2017-03-16T00:26:53Z

formatting, ion, haskell embedded blog

← Older revision		Revision as of 00:26, 16 March 2017
Line 1:		Line 1:
	~~== Embedded Haskell ==~~

	"Life is too short to C" -- Adluc		"Life is too short to C" -- Adluc

Line 7:		Line 5:
	to catch errors sooner and get close to 'if it compiles it works' experience for embedded		to catch errors sooner and get close to 'if it compiles it works' experience for embedded
	world.		world.

			== Links ==

			* Haskell embedded blog https://haskellembedded.github.io/

			== Frameworks ==

	=== Ivory Tower ===		=== Ivory Tower ===
Line 89:		Line 93:
	}}		}}

	=== Copilot ===		== Copilot ==

	* https://leepike.github.io/Copilot/		* https://leepike.github.io/Copilot/

	=== Atom ===		== Atom ==

	* https://github.com/tomahawkins/atom		* https://github.com/tomahawkins/atom

			== Ion ==

			* https://github.com/HaskellEmbedded/ion

imported>Rmarko: init

2017-03-15T23:31:41Z

init

New page

== Embedded Haskell ==

"Life is too short to C" -- Adluc

There are now serveral ways to generate C code for embedded applications with domain specific languages embedded in Haskell.
This allows us to use type system and powerful compiler
to catch errors sooner and get close to 'if it compiles it works' experience for embedded
world.

=== Ivory Tower ===

The Ivory Language is an eDSL for safe systems programming. You can think of Ivory as a safer C, embedded in Haskell.

The Tower Language is an eDSL for composing Ivory programs into real-time systems. Tower programs specify communication channels, tasks, and signal handlers, and generate Ivory code which implements scheduling and communication for real-time operating systems.

* http://ivorylang.org/
* http://ivorylang.org/tower-overview.html

==== Repositories ====

* https://github.com/GaloisInc/ivory/
* https://github.com/GaloisInc/tower/
* https://github.com/GaloisInc/ivory-tower-stm32/
* https://github.com/GaloisInc/smaccmpilot-stm32f4/
* https://github.com/GaloisInc/smaccmpilot-build
* https://github.com/GaloisInc/gidl

==== Papers ====

* Guilt Free Ivory https://github.com/GaloisInc/ivory/blob/master/ivory-paper/ivory.pdf
* Building Embedded Systems with Embedded DSLs https://github.com/GaloisInc/smaccmpilot-experiencereport/raw/master/embedded-experience.pdf

==== Projects ====

* http://smaccmpilot.org/

==== Local projects ====

===== CAN4DISCO =====

* https://git.48.io/can4disco
* https://git.48.io/can4disco-hw

===== ODrive experimental firmware =====

* https://git.48.io/odrive
* https://hackaday.io/project/11583-odrive-high-performance-motor-control/

==== Working with Ivory Tower ====

===== Prepare environment =====

Install stack first - http://docs.haskellstack.org/en/stable/install_and_upgrade/
{{cmd|code=
mkdir embedded
cd embedded
git clone https://github.com/GaloisInc/ivory/
git clone https://github.com/GaloisInc/tower/
git clone https://github.com/GaloisInc/ivory-tower-stm32/
}}

===== Running UART test =====

Test application located in
{{cmd|code=
cd ivory-tower-stm32/ivory-bsp-tests
}}
{{cmd|code=
# set platform to f4 discovery
cat > default.conf
[args]
platform="f4discovery"

make bsp-uart-test
cd bsp-uart-test
# now look around carefuly
# oO
# Oo
# ...
# then flash it
arm-none-eabi-gdb --ex 'target extended-remote /dev/f4gdb' \
--ex 'monitor swdp_scan' \
--ex 'attach 1' \
--ex 'load' image'

# try talking to /dev/f4uart
# bsp-uart-test app accepts '0' '1' chars which should toggle led
screen /dev/f4uart 115200
}}

=== Copilot ===

* https://leepike.github.io/Copilot/

=== Atom ===

* https://github.com/tomahawkins/atom