Hi Sebastian N. Fischmeister schrieb: > I'm looking for a couple of source code examples that can be > compiled with SDCC. I need them for testing our static analysis > methods for microcontroller programs.
You could use OpenEC, which is (the start of) an open source implementation of the firmware for the (8051 compatible) Embedded Controler of the One-Laptop-Per-Child Project. The OpenEC project didn't get much traction yet but it is publically available (GPL) with about 6k5 lines of code (+1k5 lines of include files). It currently implements a subset of the needed functionality for the OLPC but its structure might be typical for a system with several state-machines and IRQ. Wiki (with link to the source) is at: http://wiki.laptop.org/go/OpenEC Greetings, Frieder ------------------------------------------------------------------------- Check out the new SourceForge.net Marketplace. It's the best place to buy or sell services for just about anything Open Source. http://ad.doubleclick.net/clk;164216239;13503038;w?http://sf.net/marketplace _______________________________________________ Sdcc-user mailing list Sdcc-user@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/sdcc-user
