From: vincent.diemunsch@gmail.com
Subject: Open Ravenscar Kernel
Date: Wed, 26 Nov 2014 14:06:54 -0800 (PST)
Date: 2014-11-26T14:06:54-08:00 [thread overview]
Message-ID: <fd457a2c-0937-47b2-85ef-f876fcf4da61@googlegroups.com> (raw)
Hi folks,
I can't find the source code of the Open Ravenscar Kernel. The OpenRavenscar.org website is closed and I get redirected to : http://www.dit.upm.es/~ork/index.html/. Then it downloaded the GNATforLeon source package, but I couldn't find the packages implementing the ORK in Ada.
Does anybody knows where I could find them ?
Regards,
Vincent
next reply other threads:[~2014-11-26 22:06 UTC|newest]
Thread overview: 4+ messages / expand[flat|nested] mbox.gz Atom feed top
2014-11-26 22:06 vincent.diemunsch [this message]
2014-11-27 11:34 ` Open Ravenscar Kernel Brian Drummond
2014-11-27 20:05 ` vincent.diemunsch
2014-11-28 10:28 ` Brian Drummond
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox