Re: [LAD] Static verification of real-time safety

On Tue, 2014-01-14 at 17:52 +0000, Harry van Haaren wrote:
[here lies thread mangling top-post]
> On Tue, Jan 14, 2014 at 5:43 PM, David Robillard <d@email-addr-hidden> wrote:
> > I know I have
> >
> > #ifdef __clang__
> > # define REALTIME __attribute__((annotate("realtime")))
> > #else
> > # define REALTIME
> > #endif
> >
> > in my code and was tinkering with an implementation capable of doing
> > this at some point, but can't dig up the details, or whatever system I
> > was using to do it.
>
> I won't speak for Fundamental, he's usually in #lad, but I know the
> following:
>
> His blog on the topic:
> http://log.fundamental-code.com/2012/05/31/sfpv-intro
>
> The code on github:
> https://github.com/fundamental/sfpv

Ah, spfv, right. That was it.

Thanks,

-- 
dr
_______________________________________________
Linux-audio-dev mailing list
Linux-audio-dev@email-addr-hidden
http://lists.linuxaudio.org/listinfo/linux-audio-dev