
TO BE DONE:

// What do these ones mean?
// * File chooser: 
//   > Distinguish between DSK and printer file choosers
// 
// * Then get the DSK menu working as it should. 

* Pictures in the menus.

* Debug VGA device

xanne hardware I/O:

OUT 0xf8, 0x3f at PC=41d5	; Set PP0,PP1 (power & power telltale)
OUT 0xf5, 0x04 at PC=41d9	; Keyboard reset
OUT 0xf7, 0x40 at PC=41fb	; Enable video, black border
OUT 0xf8, 0x07 at PC=41ff	; Drive video outputs
OUT 0xf8, 0x3f at PC=451d	; Set PP0,PP1
OUT 0xf7, 0x40 at PC=457b	; Enable video, black border
OUT 0xf8, 0x07 at PC=457f	; Drive video outputs
;
; & then wait for an interrupt?
;
