File tud-l4linux-vanilla.spec of Package tud-l4linux-vanilla

# norootforbuild

Name:           tud-l4linux-vanilla
BuildRequires:  tud-l4env-devel
Version:        1811
Release:        3
Url:            http://www.tudos.org/L4/LinuxOnL4
BuildRequires:  gcc
License:        GPL
Group:          System/Kernel
Requires:       tud-l4env
Summary:        L4Linux
Source:         tud-l4env-snapshot-%version.tar.bz2
Source1:        config_nodrv
Source2:        config_drv

BuildRoot:      %{_tmppath}/%{name}-%{version}-build

%description
 What is L4Linux?
    L4Linux is a port of the Linux kernel to the L4 µ-kernel API. It is a (para-)virtualized
    Linux running on top of a hypervisor, completely without privileges if wanted.

    L4Linux runs in user-mode on top of the µ-kernel, side-by-side with other µ-kernel applications
    such as real-time components. It is binary-compatible with the normal Linux/x86 kernel and can
    be used with any PC-based Linux distribution.

 Motivation
    The operating system project of TU Dresden (DROPS & TUD:OS) supports running time-sharing and
    real-time applications applications concurrently on one computer. The L4Linux server has been
    originally created to support time-sharing applications.

    The port provides us with a basis platform for future development work.

 Current releases
    Several releases of L4Linux are available, based on different Linux versions.

    This version (VDC OpenTC Demo) runs on L4Env and is based on Linux 2.6.27.
 
%changelog -n tud-l4linux-vanilla
* Thu Jun 03 2009 - opentc@os.inf.tu-dresden.de
- update to source of svn version 1811
* Thu May 07 2009 - opentc@os.inf.tu-dresden.de
- update to source of svn version 1731
- contains BMSI, HIM, LYON, VTPM stuff of TUD & HP (WP4)
* Tue Apr 27 2009 - opentc@os.inf.tu-dresden.de
- add domU build
* Tue Apr 21 2009 - opentc@os.inf.tu-dresden.de
- update to source of svn version 1635
* Mon Apr 13 2009 - opentc@os.inf.tu-dresden.de
- create package to be used for VDC Demo

%prep
%setup -q -n tud-l4env-snapshot-%version

# place the config at the right place
cp %_sourcedir/config_nodrv build/linux/.config
cp %_sourcedir/config_drv build/linux_drv/.config

%build
export CFLAGS="%optflags"
export CFLAGS="${CFLAGS/-fstack-protector}"
export CXXFLAGS="%optflags"
export CXXFLAGS="${CXXFLAGS/-fstack-protector}"

#mkdir l4/_build
#ln -s /usr/include/l4/include l4/_build/include
#ln -s /usr/include/l4/pkg l4/_build/pkg
#ln -s /usr/bin/l4 l4/_build/bin
#ln -s /usr/lib/l4 l4/_build/lib
#cp /usr/include/l4/{.Makeconf.bid,Makeconf.bid.local{,.indep}} l4/_build/
#ln -s $PWD/l4 l4/_build/source

cd l4linux-2.6
make O=../build/linux_drv oldconfig
make O=../build/linux     oldconfig

cd ../build/linux_drv
make %{?jobs:-j%jobs}
cd ../linux
make %{?jobs:-j%jobs}

%install
mkdir -p %buildroot/boot/l4/bin
cp build/linux_drv/vmlinuz %buildroot/boot/l4/bin/vmlinuz-dom0
cp build/linux_drv/vmlinux %buildroot/boot/l4/bin/vmlinux-dom0
cp build/linux/vmlinuz %buildroot/boot/l4/bin/vmlinuz-domUT
cp build/linux/vmlinux %buildroot/boot/l4/bin/vmlinux-domUT

%files
%defattr(-, root, root)
%dir /boot/l4
%dir /boot/l4/bin
/boot/l4/bin/vmlinuz-dom0
/boot/l4/bin/vmlinux-dom0
/boot/l4/bin/vmlinuz-domUT
/boot/l4/bin/vmlinux-domUT
Places

File tud-l4linux-vanilla.spec of Package tud-l4linux-vanilla

Places
