Ketchup Wiki

What is Ketchup?

Ketchup is a tool for updating or switching between versions of the Linux kernel source. It can:

More information:

Where to get it?

FrontPage (last edited 2007-03-28 19:22:31 by RussCox)