You are not logged in.
Hi all
I have been reading a bit about L4linux [1] and it seems like a cool idea - to run a linux kernel on top of a µ-kernel, and apparently possible to do seamlessly underneath a normal distribution.
Has anyone got experience with building the L4Re [2] and L4linux and get them bootable in GRUB/GRUB2?
I have some small experimental PKGBUILDs on my computer but nothing working at the moment.
[edit: added links]
[1] http://os.inf.tu-dresden.de/L4/LinuxOnL4/build.shtml
[2] http://os.inf.tu-dresden.de/L4Re/overview.html
Last edited by W.F.Cody (2011-08-02 16:00:45)
My AUR packages
Any package of mine is up for grabs. If you think you could mantain it better - just contact me!
Offline
This is my current attemt for a PKGBUILD for the L4Re:
pkgname=l4re-svn
pkgver=20110702
pkgrel=1
pkgdesc="The L4 microkernel runtime environment"
arch=('i686' 'x86_64')
license=('GPL')
url="http://os.inf.tu-dresden.de/L4Re/overview.html"
makedepends=('subversion' 'pkg-config' 'gcc' 'gawk')
build() {
cd $srcdir
# Update the repo, else clone a new one
if [ -d src ]; then
cd src
svn up
cd $srcdir
else
svn cat http://svn.tudos.org/repos/oc/tudos/trunk/repomgr | perl - init http://svn.tudos.org/repos/oc/tudos fiasco l4re
fi
rm -rf $srcdir/build # removing old build directory
msg "Building L4re"
cd $srcdir/src/l4
make B=$srcdir/build/l4
make O=$srcdir/build/l4 config
make O=$srcdir/build/l4
msg "Building L4 Fiasco.OC kernel"
cd $srcdir/src/kernel/fiasco
make BUILDDIR=$srcdir/build/kernel
cd $srcdir/build/kernel
make config
make
}
package() {
mkdir -p $pkgdir/boot/l4re
install -m755 $srcdir/build/kernel/fiasco $pkgbuild/boot/
}
My AUR packages
Any package of mine is up for grabs. If you think you could mantain it better - just contact me!
Offline