b70b6fb43a
"failstar" sounds like a name for a cruise liner from the 80s. As "*" isn't a desirable part of directory names, just name the whole thing "fail/", the core parts being stored in "fail/core/". Additionally fixing two build system dependency issues: - missing jobserver -> protomessages dependency - broken bochs -> fail dependency (add_custom_target DEPENDS only allows plain file dependencies ... cmake for the win) git-svn-id: https://www4.informatik.uni-erlangen.de/i4svn/danceos/trunk/devel/fail@956 8c4709b5-6ec9-48aa-a5cd-a96041d1645a
45 lines
1.5 KiB
Modula-2
Executable File
45 lines
1.5 KiB
Modula-2
Executable File
#
|
|
# ----------------------------------
|
|
# Bochs CPU MSRs configuration
|
|
# ----------------------------------
|
|
#
|
|
# LEGEND:
|
|
# ------
|
|
#
|
|
# MSR ADDRESS - MSR address in hex (supplied in ECX register for RDMSR/WRMSR)
|
|
# MSR TYPE - MSR type, see below
|
|
#
|
|
# The following fields have any meaning for MSRs with no type only:
|
|
#
|
|
# RESET_HI - reset value of the MSR (bits 63:32)
|
|
# RESET_LO - reset value of the MSR (bits 31:00)
|
|
#
|
|
# NOTE: the value of the MSR doesn't change on INIT (software reset).
|
|
#
|
|
# RSRVD_HI - mask of reserved bits (bits 63:32)
|
|
# RSRVD_LO - mask of reserved bits (bits 31:00)
|
|
#
|
|
# NOTE: #GP fault will be generated when trying to modify any of MSR
|
|
# reserved bits.
|
|
#
|
|
# IGNRD_HI - mask of ignored bits (bits 63:32)
|
|
# IGNRD_LO - mask of ignored bits (bits 31:00)
|
|
#
|
|
# NOTE: Ignored bits will keep their reset value, all writes to these
|
|
# bits are ignored.
|
|
#
|
|
# MSR TYPES:
|
|
# ---------
|
|
#
|
|
# 0 - No type.
|
|
# 1 - MSR contains linear address,
|
|
# #GP if writing non-canonical address in 64-bit mode.
|
|
# 2 - MSR contains physical address,
|
|
# #GP if writing a value which exceeds emulated physical address size.
|
|
#
|
|
|
|
|
|
# ADDRESS TYPE RESET_HI RESET_LO RSRVD_HI RSRVD_LO IGNRD_HI IGNRD_LO
|
|
# ---------------------------------------------------------------------------------
|
|
0x02c 0 00000000 00000000 00000000 00000000 00000000 00000000
|
|
|