I'm pretty sure you can write an OS in Pascal; it's probably been done (or at least attempted) before. Ask Google.
Compiler choice is partly determined by your development platform: if you're running Windows, then sure, try Borland's Turbo Pascal or a newer Delphi package. If you're running Linux, there's a GCC frontend for Pascal.
(opinion)
Pascal is probably the wrong language to write an OS in. It was designed as an educational tool, and tries to protect programmers from themselves; this can make OS development harder than it already is. C was designed for systems programming; it makes things like memory / pointer management simple. If you know Pascal but don't know C, I'd reccommend learning C. It's similar to Pascal, so it shouldn't take you long to figure it out, and it's somewhat more "powerful" than Pascal, because it doesn't try to hold your hand a bit like Pascal does.
Here's a paper you might want to read. It's probably a bit biased (the author was a co-designer of C!) but the arguments make sense.
http://www.lysator.liu.se/c/bwk-on-pascal.html
(/opinion)