f92b930acb
As bigger changes lie ahead, we want a small end-to-end test suite that ensures that our importing and tracing does not fall apart. With this change, we add the infrastructure and two test-cases (fib, qsort) including ELFs, traces, and injection results. In order to run the basic-pruner test cases, one needs to setup a MySQL table and set the CMake option ENABLE_DATABASE_TESTS.
148 lines
2.8 KiB
Plaintext
148 lines
2.8 KiB
Plaintext
vga = {
|
|
misc_output = {
|
|
color_emulation = true
|
|
enable_ram = true
|
|
clock_select = 1
|
|
select_high_bank = true
|
|
horiz_sync_pol = true
|
|
vert_sync_pol = false
|
|
}
|
|
CRTC = {
|
|
address = 0x0f
|
|
reg = {
|
|
0x00 = 0x5f
|
|
0x01 = 0x4f
|
|
0x02 = 0x50
|
|
0x03 = 0x82
|
|
0x04 = 0x55
|
|
0x05 = 0x81
|
|
0x06 = 0xbf
|
|
0x07 = 0x1f
|
|
0x08 = 0x00
|
|
0x09 = 0x4f
|
|
0x0a = 0x0e
|
|
0x0b = 0x0f
|
|
0x0c = 0x00
|
|
0x0d = 0x00
|
|
0x0e = 0x00
|
|
0x0f = 0xa0
|
|
0x10 = 0x9c
|
|
0x11 = 0x8e
|
|
0x12 = 0x8f
|
|
0x13 = 0x28
|
|
0x14 = 0x1f
|
|
0x15 = 0x96
|
|
0x16 = 0xb9
|
|
0x17 = 0xa3
|
|
0x18 = 0xff
|
|
}
|
|
write_protect = true
|
|
}
|
|
attribute_ctrl = {
|
|
flip_flop = false
|
|
address = 0x00000000
|
|
video_enabled = true
|
|
palette_reg = {
|
|
0x00 = 0x00
|
|
0x01 = 0x01
|
|
0x02 = 0x02
|
|
0x03 = 0x03
|
|
0x04 = 0x04
|
|
0x05 = 0x05
|
|
0x06 = 0x14
|
|
0x07 = 0x07
|
|
0x08 = 0x38
|
|
0x09 = 0x39
|
|
0x0a = 0x3a
|
|
0x0b = 0x3b
|
|
0x0c = 0x3c
|
|
0x0d = 0x3d
|
|
0x0e = 0x3e
|
|
0x0f = 0x3f
|
|
}
|
|
overscan_color = 0x00
|
|
color_plane_enable = 0x0f
|
|
horiz_pel_panning = 0x08
|
|
color_select = 0x00
|
|
mode_ctrl = {
|
|
graphics_alpha = false
|
|
display_type = false
|
|
enable_line_graphics = true
|
|
blink_intensity = true
|
|
pixel_panning_compat = false
|
|
pixel_clock_select = false
|
|
internal_palette_size = false
|
|
}
|
|
}
|
|
pel = {
|
|
write_data_register = 0x00
|
|
write_data_cycle = 0
|
|
read_data_register = 0x00
|
|
read_data_cycle = 0
|
|
dac_state = 0
|
|
mask = 0xff
|
|
}
|
|
pel_data = vga.pel_data
|
|
graphics_ctrl = {
|
|
index = 5
|
|
set_reset = 0
|
|
enable_set_reset = 0
|
|
color_compare = 0
|
|
data_rotate = 0
|
|
raster_op = 0
|
|
read_map_select = 0
|
|
write_mode = 0
|
|
read_mode = 0
|
|
odd_even = true
|
|
chain_odd_even = true
|
|
shift_reg = 0
|
|
graphics_alpha = false
|
|
memory_mapping = 3
|
|
color_dont_care = 0x0f
|
|
bitmask = 0xff
|
|
latch0 = 0x00
|
|
latch1 = 0x00
|
|
latch2 = 0x00
|
|
latch3 = 0x00
|
|
}
|
|
sequencer = {
|
|
index = 3
|
|
map_mask = 3
|
|
reset1 = true
|
|
reset2 = true
|
|
reg1 = 0x00
|
|
char_map_select = 0
|
|
extended_mem = true
|
|
odd_even = false
|
|
chain_four = false
|
|
}
|
|
enabled = true
|
|
line_offset = 160
|
|
line_compare = 1023
|
|
vertical_display_end = 399
|
|
charmap_address = 0
|
|
x_dotclockdiv2 = false
|
|
y_doublescan = true
|
|
last_bpp = 8
|
|
memory = vga.memory
|
|
vbe = {
|
|
cur_dispi = 0xb0c5
|
|
xres = 640
|
|
yres = 480
|
|
bpp = 8
|
|
bank = 0
|
|
enabled = false
|
|
curindex = 4
|
|
visible_screen_size = 0
|
|
offset_x = 0
|
|
offset_y = 0
|
|
virtual_xres = 640
|
|
virtual_yres = 480
|
|
virtual_start = 0
|
|
bpp_multiplier = 1
|
|
lfb_enabled = false
|
|
get_capabilities = false
|
|
dac_8bit = false
|
|
}
|
|
}
|