Hi Norrathep,
Indeed, the AutoCorres quick-start tutorial assumes a certain degree of
familiarity with Isabelle/HOL. To gain some familiarity, I would recommend
working through at least the first few chapters of this book by Tobias Nipkow
and Gerwin Klein:
http://www.concrete-semantics.org/
> According to this the UARTs are quite different. So the ZCU104 does not run
> out of the box and may require (quite) some work. Do you concur?
If you look through the flattened device trees for each platform and compare
the compatibility string of the UART devices are they different or the
> I could not find any example using seL4NotificationQueue() or
> seL4GlobalAsynchCallback().
> I found only the CamkES template.
I don't believe seL4NotificationQueue is currently used anywhere.
seL4GlobalAsynchCallback is used with some of the components in the system
examples here:
Hi Austin,
The problem lies in this line:
> CAmkES uses UTF-8 encoding, but your locale's preferred encoding is
> ansi_x3.4-1968. You can override your locale with the LANG
> environment variable.
So if you override your locale to UTF-8, the problem should go away. A
possible solution would be: