fix Wiz timer drift and button name
[picodrive.git] / platform / linux / port_config.h
1 // port specific settings
2
3 #ifndef PORT_CONFIG_H
4 #define PORT_CONFIG_H
5
6 #define NO_SYNC
7
8 #define CASE_SENSITIVE_FS 1 // CS filesystem
9 #define DONT_OPEN_MANY_FILES 0
10 #define REDUCE_IO_CALLS 0
11
12 #define SCREEN_SIZE_FIXED 0
13 #define SCREEN_WIDTH  320
14 #define SCREEN_HEIGHT 240
15
16 // draw.c
17 #define OVERRIDE_HIGHCOL 0
18
19 // draw2.c
20 #define START_ROW  0 // which row of tiles to start rendering at?
21 #define END_ROW   28 // ..end
22
23 // pico.c
24 #define CAN_HANDLE_240_LINES    1
25
26 #define SIMPLE_WRITE_SOUND      0
27 #define mix_32_to_16l_stereo_lvl mix_32_to_16l_stereo
28
29 #define EL_LOGMASK (EL_ANOMALY|EL_STATUS|EL_UIO|EL_IDLE)//|EL_VDPDMA|EL_HVCNT|EL_ASVDP)//|EL_SVP)
30 // EL_VDPDMA|EL_ASVDP|EL_SR) // |EL_BUSREQ|EL_Z80BNK)
31
32 //#define dprintf(f,...) printf("%05i:%03i: " f "\n",Pico.m.frame_count,Pico.m.scanline,##__VA_ARGS__)
33 #define dprintf(x...)
34
35 // platform
36 #define PATH_SEP      "/"
37 #define PATH_SEP_C    '/'
38 #define MENU_X2       0
39
40 #endif //PORT_CONFIG_H
41