a programming framework based on linux