repositories
/
mTask.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
|
inline
| side by side (parent:
7fec786
)
update readme
author
Mart Lubbers
<mart@martlubbers.net>
Mon, 27 Feb 2017 07:39:58 +0000
(08:39 +0100)
committer
Mart Lubbers
<mart@martlubbers.net>
Mon, 27 Feb 2017 07:39:58 +0000
(08:39 +0100)
README.md
patch
|
blob
|
history
diff --git
a/README.md
b/README.md
index
941e4ce
..
0c4f2a8
100644
(file)
--- a/
README.md
+++ b/
README.md
@@
-7,32
+7,35
@@
bytecode which is interpreted by the engine that has to be programmed on the
device.
The devices suitable for *mTasks* are not limited to embedded devices. In the
device.
The devices suitable for *mTasks* are not limited to embedded devices. In the
-`
i
nt` folder is a `C` reference implementation available for intel machines.
+`
clie
nt` folder is a `C` reference implementation available for intel machines.
-*mTasks* are written in [clean][clean] and specifically using the
-
[iTasks][itasks] library
.
+*mTasks* are written in [clean][clean] and specifically using the
TOP
+
implementation DSL [iTasks][itasks]
.
-### How to setup the iTask system
-Get the latest iTask and run Make. Make sure to have `gcc-5`.
+### How to setup the server
+Install clean by running:
+```
+./install_clean.sh
+```
-### How to setup the interpreter
-For the linux version install `gcc` and run `make -f Makefile.linux` in the
-`./int` directory
+Build the tools by running `make`
-For the STM version install `gcc-arm-none-eabi` and run `make` in the `./int`
-directory. To flash the binary to the device install (a recent version of)
-`openocd` and run `make flash` in the `./int` directory.
+### How to setup the interpreters
+For the linux version install `gcc` and run `make -C client -f Makefile.linux`.
-### Protocol
-The server can send task specifications to the microcontroller by sending:
-| id | length
-| 's' | n | n bytes | newline
+For the STM version install `gcc-arm-none-eabi` and run `make -C client`.
+To flash the binary to the device install (a recent version of)
+`openocd` and run `make -C client flash`.
-Where n is a 16bit integer.
+### Thesis
+The thesis accompanying this material can be found [here][thesis] and the
+sources [here][sources]
### Author(s)
### Author(s)
-Initial work
has been done by Pieter Koopman. Extensions have been made by Mart
-Lubbers.
+Initial work
on the DSL have been done by Pieter Koopman. Further extensions
+
have been made by Mart
Lubbers.
+[sources]: https://files.martlubbers.net/msc-thesis1617://git.martlubbers.net/?p=msc-thesis1617.git;a=summary
+[thesis]: https://files.martlubbers.net/msc-thesis1617/
[clean]: clean.cs.ru.nl
[itasks]: clean.cs.ru.nl/ITasks
[clean]: clean.cs.ru.nl
[itasks]: clean.cs.ru.nl/ITasks