¶ EC Simulator

The OLPC XO-1 contains the EnE kb3700, a 8051 based micro-controller that serves as the systems Embedded Controller, aka EC.

There is a public datasheet that explains the operation of the EC. As part of the Summer of Code 2007, I was supposed to take those specs and use them to extend an 8051 simulator to have the same features, ultimately allowing it to run the same binary as the kb3700. This never got off the ground.

Recently I came across a 8051 simulator that was written in C++, called Emu8051.

It would be a great entry into simulation and modelling for someone extend an emulator with the features specified in the datasheet. Emu8051 may be a good starting point, however, I haven't looked into it at all.

Another resource is the OpenEC codebase, as it contains register definitions for the kb3700.