[Request] L4linux

W.F.Cody · 2011-08-02 15:59:35

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)

W.F.Cody · 2011-08-03 13:19:25

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/
}

Arch Linux

#1 2011-08-02 15:59:35

[Request] L4linux

#2 2011-08-03 13:19:25

Re: [Request] L4linux

Board footer