Ada on the RSRE Flex operating system

I was watching this talk about the “Flex” operating system developed by the Royal Signals and Radar Establishment, and happened to spot a couple of scans taken from “Ada UK News” in 1985 that reference an Ada compiler in development for that platform:

https://www.youtube.com/watch?v=yHtZG2GGUYg&t=1532s

The presenter doesn’t mention Ada at all (the talk is just about the Flex system), but I thought I’d post it here on the off-chance it’s of interest to someone.

edit: I found a paper with a bit more information about the Ada compiler: https://archive.mg-1.uk/flex/rsre_cc2_memo_304-87_ocr.pdf