As far as my memory goes, this "cooperative" sharing of framebuffer is actually happening also in the original console server, which is currently in mainline (i.e. that even when in kernel console, console server is still being able to do damage to framebuffer if instructed to do so). It was only much more subtle (i.e. at some occasion, the bdsh command prompt popped out in the kernel console), because the mouse pointer was handled by first tier of the stack (fb server).
This is true. It is important to keep in mind that the kernel console is only a debugging feature and therefore it is not worth spending too much time and effort on a fail-safe handshake between the kernel console and the user space graphics stack. This should stay more in the terms of a "gentlemen's contract".
The general rule for the kernel is to go out of the way as much as possible. Any "fail-safe" mechanism such as remapping the user space framebuffer to a temporary memory or forcibly denying the access from user space while the kernel is using the real framebuffer might do more harm than good.
M.D. _______________________________________________ HelenOS-devel mailing list [email protected] http://lists.modry.cz/cgi-bin/listinfo/helenos-devel
