v3vee.org Git - palacios.git/history - palacios/src/extensions/Kconfig

Palacios Public Git Repository

To checkout Palacios execute

  git clone http://v3vee.org/palacios/palacios.web/palacios.git

This will give you the master branch. You probably want the devel branch or one of the release branches. To switch to the devel branch, simply execute

  cd palacios
  git checkout --track -b devel origin/devel

The other branches are similar.

projects / palacios.git / history

[palacios.git] / palacios / src / extensions / Kconfig

2011-06-23	Kyle Hale	Changes for software interrupt extension code	blob \| commitdiff
2011-06-23	Kyle Hale	Makefile now only includes swintr stuff. Temporarily...	blob \| commitdiff \| diff to current
2011-06-23	Kyle Hale	isolated syscall config options to extensions	blob \| commitdiff \| diff to current
2011-06-23	Kyle Hale	applied syscall patch	blob \| commitdiff \| diff to current
2011-06-18	Jack Lange	reverted syscall changes	blob \| commitdiff \| diff to current
2011-06-17	Kyle Hale	fix merge	blob \| commitdiff \| diff to current
2011-06-17	Kyle Hale	minor changes to organization	blob \| commitdiff \| diff to current
2011-06-16	Philip Soltero	ported machine check to extension	blob \| commitdiff \| diff to current
2011-04-19	Jack Lange	added extension framework with initial inspector extension	blob \| commitdiff \| diff to current

Public Palacios Development Repository for the V3VEE Project

RSS Atom