eccoli

http://sacarde.interfree.it/data/eclk-03-boot.pdf

http://sacarde.interfree.it/data/eclk-04-init.pdf

http://sacarde.interfree.it/data/eclk-05-kernel.pdf