From: tmoran@acm.org
Subject: Re: Writing an Operating System in Ada
Date: Thu, 14 Jan 2010 18:57:25 +0000 (UTC)
Date: 2010-01-14T18:57:25+00:00 [thread overview]
Message-ID: <hinpel$nse$2@speranza.aioe.org> (raw)
In-Reply-To: t5nmih.832.ln@hunter.axlog.fr
> Yes I do. IIRC, the project failed because they completely missed the
> point. The processor was intended to be able to check the types of data
> at run-time, something that the compiler had already done.
Not all code is generated by Ada compilers. A secure processor
could help defend against virus infections.
next prev parent reply other threads:[~2010-01-14 18:57 UTC|newest]
Thread overview: 67+ messages / expand[flat|nested] mbox.gz Atom feed top
2010-01-12 1:13 Writing an Operating System in Ada Shark8
2010-01-12 3:30 ` Leslie
2010-01-12 7:06 ` Shark8
2010-01-12 8:36 ` Ludovic Brenta
2010-01-12 15:14 ` jonathan
2010-01-12 16:21 ` Colin Paul Gloster
2010-01-12 16:36 ` Shark8
2010-01-12 17:03 ` Colin Paul Gloster
2010-01-12 19:07 ` Tero Koskinen
2010-01-12 9:41 ` Dmitry A. Kazakov
2010-01-12 17:37 ` Shark8
2010-01-12 19:56 ` Dmitry A. Kazakov
2010-01-12 21:21 ` Shark8
2010-01-12 22:39 ` nobody
2010-01-12 22:50 ` Shark8
2010-01-15 22:45 ` nobody
2010-01-19 21:09 ` Shark8
2010-01-12 21:52 ` Maciej Sobczak
2010-01-12 23:26 ` Shark8
2010-01-13 9:17 ` Dmitry A. Kazakov
2010-01-13 20:20 ` Shark8
2010-01-13 20:55 ` Dmitry A. Kazakov
2010-01-13 22:50 ` Shark8
2010-01-14 8:55 ` Dmitry A. Kazakov
2010-01-14 18:01 ` Shark8
2010-01-14 19:04 ` tmoran
2010-01-19 19:07 ` Shark8
2010-01-14 19:53 ` Dmitry A. Kazakov
2010-01-14 21:07 ` Shark8
2010-01-14 21:50 ` Dmitry A. Kazakov
2010-01-15 1:24 ` Randy Brukardt
2010-01-15 8:59 ` Dmitry A. Kazakov
2010-01-19 18:58 ` Shark8
2010-01-19 19:43 ` Dmitry A. Kazakov
2010-01-14 9:40 ` Maciej Sobczak
2010-01-14 10:28 ` Dmitry A. Kazakov
2010-01-14 18:57 ` tmoran
2010-01-14 19:19 ` Dmitry A. Kazakov
2010-01-14 20:33 ` Georg Bauhaus
2010-01-14 21:09 ` Dmitry A. Kazakov
2010-01-14 21:50 ` Maciej Sobczak
2010-01-15 8:37 ` Dmitry A. Kazakov
2010-01-15 21:05 ` Maciej Sobczak
2010-01-15 21:48 ` Dmitry A. Kazakov
2010-01-16 21:18 ` Maciej Sobczak
2010-01-16 22:15 ` Dmitry A. Kazakov
2010-01-18 11:23 ` Georg Bauhaus
2010-01-18 13:50 ` Dmitry A. Kazakov
2010-01-18 15:21 ` Georg Bauhaus
2010-01-18 16:41 ` Dmitry A. Kazakov
2010-01-18 17:17 ` Georg Bauhaus
2010-01-18 18:08 ` Dmitry A. Kazakov
2010-01-19 17:41 ` Writing an Operating System in Ada - now off topic? Leslie
2010-01-13 9:09 ` Writing an Operating System in Ada Georg Bauhaus
2010-01-13 9:27 ` Dmitry A. Kazakov
2010-01-13 3:38 ` Leslie
2010-01-13 12:10 ` Martin
2010-01-13 18:55 ` Ad Buijsen
2010-01-14 9:12 ` Jean-Pierre Rosen
2010-01-14 10:45 ` Dmitry A. Kazakov
2010-01-14 11:31 ` Jean-Pierre Rosen
2010-01-14 13:47 ` Dmitry A. Kazakov
2010-01-14 18:57 ` tmoran [this message]
2010-01-13 4:49 ` Hibou57 (Yannick Duchêne)
2010-01-13 17:29 ` Lucretia
2010-01-13 20:37 ` Shark8
2010-01-16 0:13 ` Lucretia
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox