4,614
edits
m →L4 |
|||
Line 55: | Line 55: | ||
* [[Remarkable2]] | * [[Remarkable2]] | ||
* [[iPad]] | * [[iPad]] | ||
* [http://en.wikipedia.org/wiki/Raspberry_Pi#Specifications Raspberry Pi] | |||
* [http://en.wikipedia.org/wiki/ARM11 ARM] | |||
* L4 | |||
** http://www.acm.uiuc.edu/white_papers/incoming/GMD/L4/ | |||
** http://board.flatassembler.net/topic.php?t=9720 | |||
** http://code.google.com/p/docl4amss/downloads/list | |||
** http://os.inf.tu-dresden.de/L4/impl.html | |||
=== Reverse engineering === | === Reverse engineering === | ||
Line 73: | Line 80: | ||
* Links | * Links | ||
** for making podcasts: https://www.wondercraft.ai/ | ** for making podcasts: https://www.wondercraft.ai/ | ||
=== Constructed languages === | |||
* [http://www.wolfram.com/language/elementary-introduction/2nd-ed/index.html Wolfram Language] | |||
=== Developers === | |||
* [http://eknote.tistory.com/1368 Edward K. (Java)] - Korean | |||
== Cultural literacy == | == Cultural literacy == |