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.


added header files
[palacios.git] / palacios / src / devices / ramdisk.c
index 4324c15..4d59b37 100644 (file)
@@ -337,7 +337,7 @@ static int check_bit_fields(struct controller_t * controller);
 
 
 
-Bit32u rd_init_hardware(struct ramdisk_t *ramdisk) {
+static Bit32u rd_init_hardware(struct ramdisk_t *ramdisk) {
   uint_t channel_num; 
   uint_t device;
   struct channel_t *channels = (struct channel_t *)(&(ramdisk->channels));