Hi, in the file main-ia32-32.cpp, there's a line(line 60): call call_bootstrap where could i find the implemention of the call_bootstrap? -------------- next part -------------- An HTML attachment was scrubbed... URL: <http://os.inf.tu-dresden.de/pipermail/l4-hackers/attachments/20150424/6623fa56/attachment.html>