all messages for Guix-related lists mirrored at yhetil.org
 help / color / mirror / code / Atom feed
* Re: Preparing the reduced bootstrap tarballs
@ 2018-11-20  0:26 jeremiah
  2018-11-20  8:28 ` Ricardo Wurmus
  0 siblings, 1 reply; 3+ messages in thread
From: jeremiah @ 2018-11-20  0:26 UTC (permalink / raw)
  To: g, guix-devel

> so, if I don't get it wrong, every skilled engineer will be able to
> build an "almost analogic" (zero bit of software preloaded) computing
> machine ad use stage0/mes [1] as the "metre" [2] to calibrate all other
> computing machines (thanks to reproducible builds)?

well, I haven't thought of it in those terms but yes I guess that is one
of the properties of the plan.

> the first bit of code have to be "manually" introduced in the machine,
> right?
Correct, otherwise you'll have to deal with firmware/bios as a trust
vector to be concerned about.

> for the lazyer like me, what about a punched card? :-)
If someone is willing to figure out how to read a deck of punched cards
without software, I'd be interested in learning more.

> I didn't know about Nexus Intruder attacks: could you please give me
> some links to the relevant bibliography?
I'll see if I can dig those up for you.

> so, having the scientific proof that binary conforms to source, there
> will be noo need to trust (the untrastable)
Well, that is what someone else could do with it but not a direct goal
of the work.

-Jeremiah

^ permalink raw reply	[flat|nested] 3+ messages in thread

* Re: Preparing the reduced bootstrap tarballs
  2018-11-20  0:26 Preparing the reduced bootstrap tarballs jeremiah
@ 2018-11-20  8:28 ` Ricardo Wurmus
  2018-11-20 15:28   ` Punch cards (was Preparing the reduced bootstrap tarballs) Timothy Sample
  0 siblings, 1 reply; 3+ messages in thread
From: Ricardo Wurmus @ 2018-11-20  8:28 UTC (permalink / raw)
  To: jeremiah; +Cc: guix-devel


jeremiah@pdp10.guru writes:

>> for the lazyer like me, what about a punched card? :-)
> If someone is willing to figure out how to read a deck of punched cards
> without software, I'd be interested in learning more.

Now that’s a project for a free hardware design that I’d happily work
on :)

Reading and transmitting of the bitstream can be done in hardware alone
(shift register, MUX, photoresistors, …), though I’d need to know what
kind of interface there is on the receiving side.  Just flash memory /
TTL shift register?

--
Ricardo

^ permalink raw reply	[flat|nested] 3+ messages in thread

* Punch cards (was Preparing the reduced bootstrap tarballs)
  2018-11-20  8:28 ` Ricardo Wurmus
@ 2018-11-20 15:28   ` Timothy Sample
  0 siblings, 0 replies; 3+ messages in thread
From: Timothy Sample @ 2018-11-20 15:28 UTC (permalink / raw)
  To: Ricardo Wurmus; +Cc: guix-devel, jeremiah

Hi,

Ricardo Wurmus <rekado@elephly.net> writes:

> jeremiah@pdp10.guru writes:
>
>>> for the lazyer like me, what about a punched card? :-)
>> If someone is willing to figure out how to read a deck of punched cards
>> without software, I'd be interested in learning more.
>
> Now that’s a project for a free hardware design that I’d happily work
> on :)
>
> Reading and transmitting of the bitstream can be done in hardware alone
> (shift register, MUX, photoresistors, …), though I’d need to know what
> kind of interface there is on the receiving side.  Just flash memory /
> TTL shift register?

I’ve thought about this a bit.  Would it be possible to go even more
mechanical, and implement the SPI protocol in switches toggled by holes
cut in some kind of insulating tape?  You could have a couple of steel
balls (bearings?) balanced on top of each other, connected to a circuit
using brushes or springs.  Then, you place the tape in between the
bearings.  When there’s a hole in the insulating tape, they make
contact, and when there is no hole, no contact.  Then, you have a row of
holes for the SPI clock, and a row of holes for the SPI data.  All you
would have to do is hook up the right voltage to it, and you could write
to a flash ROM by pulling manually punched tape through it.  (You could
use a crank or motor if the timing needs to be more precise.)

Then, you could take an x200 and setup the bootrom to be whatever you
wanted with no software whatsoever.  If you adjusted stage0 to set up a
“cache-as-RAM” environment (like they do in coreboot), you could do
quite a bit of manoeuvring before having to initialize RAM.  That is,
you could probably set up a tiny Scheme environment and do more hardware
initialization from there.

Obviously all of this would be easier on a simpler computer, but then
presumably you have to move from a simpler computer to a more
complicated computer at some point (depending on your needs).  The nice
thing about booting the x200 as a simple computer is that you can just
expand its boundaries until it is full-featured.

Sorry for derailing a bit, I just wanted to share some idle thoughts.

> --
> Ricardo

-- Tim

^ permalink raw reply	[flat|nested] 3+ messages in thread

end of thread, other threads:[~2018-11-20 15:28 UTC | newest]

Thread overview: 3+ messages (download: mbox.gz follow: Atom feed
-- links below jump to the message on this page --
2018-11-20  0:26 Preparing the reduced bootstrap tarballs jeremiah
2018-11-20  8:28 ` Ricardo Wurmus
2018-11-20 15:28   ` Punch cards (was Preparing the reduced bootstrap tarballs) Timothy Sample

Code repositories for project(s) associated with this external index

	https://git.savannah.gnu.org/cgit/guix.git

This is an external index of several public inboxes,
see mirroring instructions on how to clone and mirror
all data and code used by this external index.