L4 Pistachio: getting started guides / tutorials

--f46d04428ee2d0ddd004b2301388
Content-Type: text/plain; charset=ISO-8859-1

Hi, guys.

Being a newbie in L4 micro-kernels I would like to read some getting
started guides / tutorials, something like writing a toy OS, which uses
Pistachio. Where can I find such materials to minimize the hit-and-miss
experience? Thanks.

--f46d04428ee2d0ddd004b2301388
Content-Type: text/html; charset=ISO-8859-1
Content-Transfer-Encoding: quoted-printable

Hi, guys.<div><br></div><div>Being a=A0newbie in L4=A0micro-kernels=A0I wou=
ld like to read some getting started guides / tutorials, something like wri=
ting a toy OS, which uses Pistachio. Where can I find such materials to min=
imize the=A0<span class=3D"Apple-style-span" style=3D"font-family: Verdana,=
 Geneva, sans-serif; font-size: 12px; line-height: 13px; background-color: =
rgb(255, 255, 255); ">hit-and-miss experience</span>? Thanks.</div>

--f46d04428ee2d0ddd004b2301388--