About this site
Here you can find various linux stuff I written over the time: programs, drivers, kernel stuff, texts and web pages and the current projects I'm working on.
Android on picoPC and Atmel Embedded CPUs
android-atmel kernel git branch
sdcard bootstrap git branch
android-atmel eclair 2.1 git branch
android-atmel gingerbread 2.3.4 git branch
android binary images releases
android tools git tree
documentation
DCDC-USB drivers
Drivers for Mini-Box.com Intelligent DCDC converter with USB interface
picoLCD 20x2, 20x4, 256x64 drivers and SDK
Drivers for Mini-Box.com picoLCD USB LCDs family for LCDProc, LCD4Linux, SDK library and example applications
emlog - embedded logger kernel device
The 2.6.x/3.0.x kernel port of emlog kernel module. The original emlog only works on 2.4 kernels and has been written by Jeremy Elson. The home page of emlog for 2.4.x kernels is available here
pidwatcher application watchdog kernel module
A kernel module used to get information about the current running processes without the need of /proc filesystem. Provides a fast alternative to procps utils and it's used on Mediabox systems to control and supervise job execution as a software watchdog.
mpeg4joiner (mp4join) - joins mp4 files
mp4 join can join 2 or more mp4 files by first extracting their tracks and joining them into a new file. It's based on mpeg4ip libraries.
SIS 671 and Geode LX/GX XOrg drivers.
SIS 671 (Intel D201GLY) and Geode LX/GX XOrg video drivers with XVideo acceleration and fixed high resolution issues. These drivers are different from freedesktop Xorg tree or the OLPC one.
iMedia Embedded Linux
Information about iMedia Linux distribution (www.imedialinux.com) a small linux distribution targeted to embedded systems.