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'
[palacios.git] / kitten / init / version.c
1 /*
2  *  linux/init/version.c
3  *
4  *  Copyright (C) 1992  Theodore Ts'o
5  *
6  *  May be freely distributed as part of Linux.
7  */
8
9 #include <lwk/compile.h>
10 #include <lwk/version.h>
11 #include <lwk/uts.h>
12 #include <lwk/utsname.h>
13
14 const char lwk_banner[] =
15         "LWK version " UTS_RELEASE " (" LWK_COMPILE_BY "@"
16         LWK_COMPILE_HOST ") (" LWK_COMPILER ") " UTS_VERSION
17         "\n";
18
19 /**
20  * User-level apps call the uname() system call to figure out basic
21  * information about the system they are running on, as indicated
22  * by this structure.  We report back that we are Linux since that
23  * is what standard Linux executables expect (UTS_LINUX_SYSNAME and
24  * UTS_LINUX_RELEASE).
25  */
26 struct utsname linux_utsname = {
27         .sysname        =       UTS_LINUX_SYSNAME,
28         .nodename       =       UTS_NODENAME,
29         .release        =       UTS_LINUX_RELEASE,
30         .version        =       UTS_VERSION,
31         .machine        =       UTS_MACHINE,
32         .domainname     =       UTS_DOMAINNAME
33 };
34