Formal validation of the Arm v8-M specification – Alastair Reid – Researcher at ARM Ltd edit / delete

Alastair gave a presentation about this at a workshop I attended; very interesting stuff (and his blog generally is well worth reading).

to arm ers formal-methods security validation ... on 05 May

*Advanced RISC Technology* edit / delete

"©1996 Advanced RISC Technology" -- a company that was very enthusiastic about ARM CPUs in the early 90s. They were right!

to amusements arm retrocomputing ... on 12 September 2017

The Qube RiscOS Server edit / delete

A large collection of mods for the Archimedes, and a canned classic RiscOS distribution (including !Hamsters). I particularly like the mod that involves installing an Atari ST floppy controller in an A3000 to get HD floppy support!

to acorn archimedes arm bbc electronics floppy retrocomputing riscos ... on 25 March 2016

VisUAL - A highly visual ARM emulator edit / delete

"VisUAL has been developed as a cross-platform tool to make learning ARM Assembly language easier." From Imperial.

to arm assembler programming teaching visualisation ... on 28 February 2016

ARMwiki edit / delete

As the title suggests. Has an "early ARM" (i.e. Acorn) focus, but still a useful reference for 32-bit ARM in general.

to ag0700 arm assembler programming ... on 22 January 2016

ARX, Arthur and RISC OS - Paul Fellows edit / delete

Early ARM operating systems. I strongly suspect that the A310 I have was originally an Arthur machine.

to acorn arm arthur retrocomputing riscos ... on 20 November 2015

Cheap, low power Linux fileserver - Hacks & Mods - Hak5 Forums edit / delete

cooper from #linux-sunxi's pcDuino v3 Nano project.

to arm linux pcduino sunxi ... on 25 October 2015

Getting started - musl libc wiki edit / delete

Useful notes on how to configure an ARM cross-toolchain for common ARM processors.

to arm cross gcc toolchain ... on 20 January 2015

Browser bookmarks: tasty+ | tasty= Log in | Export | Atom