Googling L4 leaves the impression that there is no architectural paper. The ‘Reference Manual’ explicitly assumes “intimate knowledge of basic L4 concepts” but gives no pointers to a source of such. Reference is made to the “L4 System Programmer’s Manual” but Google knows none such.