Jacqueline – A minimal i386 kernel written in Pascal