[bootstrappable] Re: GNU Mes 0.18 released

  • From: Ondřej Čertík <ondrej@xxxxxxxxx>
  • To: bootstrappable@xxxxxxxxxxxxx
  • Date: Wed, 07 Nov 2018 10:07:21 -0700



On Wed, Nov 7, 2018, at 5:36 AM, Orians, Jeremiah (DTMB) wrote:

I just tested it and it works. But when I run "make test", I notice that it 
needs a C compiler to execute this line early in the process:
cc -ggdb -DVM32=true -Dtty_lib=true vm.h vm.c vm_instructions.c vm_decode.c 
tty.c -o bin/vm
and then it runs things through this bin/vm. I would like things to 
bootstrap without a C compiler.
Actually the bin/vm is a hardware emulator for a 32bit processor that is 
going to be made out of TTL.
That way there is no risk of hardware, microcode, firmware or operating 
system attacks against our boot strap process.

Editor is fine for now. But I would like things to work without a C 
compiler.
Well if you wish you could use:
https://github.com/oriansj/mescc-tools-seed
and M2-Planet's
https://github.com/oriansj/M2-Planet/blob/master/seed.M1
https://github.com/oriansj/M2-Planet/blob/master/bootstrap.sh
(Instead of make, simply ./bootstrap.sh with the shell of your choice 
inside of M2-Planet's Source directory)
Which will jump you straight to M2-Planet without needing a C Compiler 
or anything else

I am still confused how to use it. The bootstrap.sh still needs "vm":

https://github.com/oriansj/M2-Planet/blob/4629a2e842a9e07ea366a3fd731f3c21bdc5afdf/bootstrap.sh#L65

but I think what you are saying is that I can comment out the lines and simply 
use  
https://github.com/oriansj/M2-Planet/blob/4629a2e842a9e07ea366a3fd731f3c21bdc5afdf/seed.M1
 instead, am I right?

But I am at loss what to do next to bootstrap a C compiler.

It's ok, I'll just wait until there is a simple script that I can just run. 
Then I'll be happy to try it out. I don't want you to waste time with me right 
now.

Stage0 is aiming at solving both the Ken Thompson Trusting Trust attack 
for all hardware platforms and allowing new and arbitrary ones to be 
created and then check all the other platforms too.
Further more it is aiming at also solving the 1958 NEXUS Intruder 
Program paper, which explicitly formulated a hardware attack that 
compromised software that creates hardware designs.

Yes, I think that's very interesting and worth doing also.

Ondrej

Other related posts:

  1. Home
  2. bootstrappable
  3. Archive
  4. 11-2018