What is the status of getting picoGUI into debian? Are you still packaging it? Andrew Lenharth andrewl@debian.org