
<html>

<head>

<meta http-equiv="Content-Type" content="text/html; charset=iso-8859-1">

<style type="text/css" style="display:none;"><!-- P {margin-top:0;margin-bottom:0;} --></style>

</head>

<body dir="ltr">

<div id="divtagdefaultwrapper" style="font-size:12pt;color:#000000;font-family:Calibri,Arial,Helvetica,sans-serif;" dir="ltr">

<p>Ηi all,</p>

<p><br>

</p>

<p>I am pretty new in linux and in litmus and i have followed the instructions installing

<span style="font-family: Calibri, Arial, Helvetica, sans-serif, "Apple Color Emoji", "Segoe UI Emoji", NotoColorEmoji, "Segoe UI Symbol", "Android Emoji", EmojiSymbols; font-size: 16px;">

successfully </span>the litmus kernel first . </p>

<p>Afterwards however trying to install the liblitmus i get the message that the kernel couldnt be found.</p>

<p><br>

</p>

<p></p>

<div>(!!) Could not find a LITMUS^RT kernel at ../litmus_rt: invalid path. cannot find header.</div>

<div>(!!) Are you sure the path is correct?</div>

<div>(!!) Run 'make dump-config' to see the build configuration.</div>

<div>(!!) Edit the file .config to override the default configuration.</div>

<div>Makefile:280: *** Cannot build without access to the LITMUS^RT kernel source.  Stop.</div>

<div><br>

</div>

<div>That's why i am wondering what went wrong during the installation of the kernel or am i doing sth wrong during the installation of liblitmus.</div>

<div><br>

</div>

<div>Τhanks in advance for your support,</div>

<div>Lampros Bersentes</div>

<div><br>

</div>

<br>

<p></p>

</div>

</body>

</html>