First I must say that IMHO C is the best option to code an operating system because it was designed for such work and Pascal is much higher level.

Anyway there are a kernel written in Pascal + Assembler: Toro. Actually I don't know how much complex it is but you'll find a lot of versions in the download page. May be it helps you a bit.