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.


Merge branch 'devel' of newskysaw.cs.northwestern.edu:/home/palacios/palacios into...
[palacios.git] / linux_module / ioctls.txt
1 Registry of ioctl numbers currently in use
2 To add a new ioctl find an available number and add it to this list.
3
4 Global commands (/dev/v3vee)
5
6 10 -- (VMM) Start guest
7
8 50 -- (VMM) Add physical memory to VMM manager
9
10
11
12 VM Commands (/dev/v3-vm*)
13
14 20 -- (IFACE) Connect CGA Console
15 21 -- (IFACE) Connect Stream
16 22 -- (VMM) Stop Guest
17
18 30 -- (EXT) Activate Inspector
19
20 257 -- (IFACE) VGA Console Framebuf Input
21 258 -- (IFACE) VGA Console Framebuf Query
22
23 10245 -- (IFACE) Connect Host Device