Hi,
Are there any guides which I can add the following features onto L4Linux ? - GCC, Make, CCID, PCSC
If the features do not exist in L4Linux, how do I build my own L4Linux image with these features and what do I need to modify to ensure they work properly on L4Linux ?
Hi,
On Fri Jul 17, 2015 at 20:13:30 +0800, Thotheolh Tay wrote:
Are there any guides which I can add the following features onto L4Linux ?
- GCC, Make, CCID, PCSC
I assume you're using the default setup with a ramdisk?
If the features do not exist in L4Linux, how do I build my own L4Linux image with these features and what do I need to modify to ensure they work properly on L4Linux ?
L4Linux will also run from harddisk/SSD using a standard Linux distribution. I suggest you go this way for compiling software and generally having a broad range of software available inside L4Linux.
Adam
Hi,
1.) I don't seem to be able to receive reply via this thread. Not sure why although the "Digest Vol 147, Issue 9" seems to register a reply to this topic ?
2.) Re: "I assume you're using the default setup with a ramdisk?"
@Adam Lackorzynski I am using a Genode Framework + Fiasco,OC + L4Linux build with L4Linux as userland. So, it's all vanilla build according to Genode's website ( http://genode.org/documentation/platforms/foc).
From their website:
*To get the L4Linux running on top of Genode, you have to change to the ports-foc repository within your Genode source tree and do a 'make prepare':*
* cd ports-foc* * make prepare*
*This will fetch the currently supported version from the L4Linux subversion repository, and apply a patch to it, that is needed to execute it on top of Genode.*
But the thing is I doubt how different their L4Linux are from the current ones so it shouldn't really matter ?
I am wondering if I can do a vanilla compilation of programs I want on a normal OS like Debian or Ubuntu and then copy it's files onto L4Linux ?
Thanks, Thotheolh.
On Fri, Jul 17, 2015 at 8:13 PM, Thotheolh Tay twzgerald@gmail.com wrote:
Hi,
Are there any guides which I can add the following features onto L4Linux ?
- GCC, Make, CCID, PCSC
If the features do not exist in L4Linux, how do I build my own L4Linux image with these features and what do I need to modify to ensure they work properly on L4Linux ?
-- +---------------------------------------------------------+ | PGP Secure Email Key ID:6FBFC19D | +---------------------------------------------------------+
Hi,
On Sat Jul 18, 2015 at 20:21:55 +0800, Thotheolh Tay wrote:
1.) I don't seem to be able to receive reply via this thread. Not sure why although the "Digest Vol 147, Issue 9" seems to register a reply to this topic ?
I had only replied to the list.
2.) Re: "I assume you're using the default setup with a ramdisk?"
@Adam Lackorzynski I am using a Genode Framework + Fiasco,OC + L4Linux build with L4Linux as userland. So, it's all vanilla build according to Genode's website ( http://genode.org/documentation/platforms/foc).
From their website:
*To get the L4Linux running on top of Genode, you have to change to the ports-foc repository within your Genode source tree and do a 'make prepare':*
cd ports-foc*
make prepare*
*This will fetch the currently supported version from the L4Linux subversion repository, and apply a patch to it, that is needed to execute it on top of Genode.*
But the thing is I doubt how different their L4Linux are from the current ones so it shouldn't really matter ?
It should not matter. Execution of Linux programs is fully binary compatible with normal Linux.
I am wondering if I can do a vanilla compilation of programs I want on a normal OS like Debian or Ubuntu and then copy it's files onto L4Linux ?
Yes, you can do that. Remember to either link program statically or copy all required libs as well.
Adam
l4-hackers@os.inf.tu-dresden.de