diff options
Diffstat (limited to 'sis.info')
-rw-r--r-- | sis.info | 890 |
1 files changed, 890 insertions, 0 deletions
diff --git a/sis.info b/sis.info new file mode 100644 index 0000000..10f23dc --- /dev/null +++ b/sis.info @@ -0,0 +1,890 @@ +This is sis.info, produced by makeinfo version 6.5 from sis.texi. + +This manual is for SIS (version 2.14, 9 April 2019). + + Copyright (C) 2019 Free Software Foundation, Inc. + + Permission is granted to copy, distribute and/or modify this + document under the terms of the GNU Free Documentation License, + Version 1.3 or any later version published by the Free Software + Foundation; with no Invariant Sections, with no Front-Cover Texts, + and with no Back-Cover Texts. A copy of the license is included in + the section entitled "GNU Free Documentation License". +INFO-DIR-SECTION Texinfo documentation system +START-INFO-DIR-ENTRY +* sis: (sis)Invoking sis. +END-INFO-DIR-ENTRY + + +File: sis.info, Node: Top, Next: Introduction, Up: (dir) + +SIS +*** + +This manual is for SIS (version 2.14, 9 April 2019). + +* Menu: + +* Introduction:: +* Invoking sis:: +* Commands :: +* Emulated Systems :: +* GNU Free Documentation License:: +* Index:: + + +File: sis.info, Node: Introduction, Next: Invoking sis, Prev: Top, Up: Top + +1 Introduction +************** + +SIS is a SPARC V7/V8 and RISC-V RV32IMACF architecture simulator. It +consist of two parts, the simulator core and a user defined memory +module. The simulator core executes the instructions while the memory +module emulates memory and peripherals. + + +File: sis.info, Node: Invoking sis, Next: Commands, Prev: Introduction, Up: Top + +2 Invoking sis +************** + +The simulator is started as follows: + sis [options] [file] + + The following options are recognized: + +'-c FILE' + Read sis commands from FILE at startup. + +'-cov' + Enable code coverage and write a coverage file at exit. + +'-d CLOCKS' + Set the the number of CLOCKS in each time-slice for multi-processor + simulation. Default is 50, set lower for higher accuracy. + +'-erc32' + Emulate the SPARC V7 ERC32 processor + +'-freq FREQ' + Set frequency of emulated cpu. This is used by the 'perf' command + to calculated the MIPS figure for a particular configuration. The + frequency must be an integer indicating the frequency in MHz. + +'-gdb' + Start a gdb server, listening on port 1234. An alternative port + can be specified with -PORT NN. + +'-leon2' + Emulate the SPARC V8 LEON2 processor + +'-leon3' + Emulate the SPARC V8 LEON3 processor + +'-m CORES' + Enable the number of CORES (2 - 4) in a leon3 or RISC-V + multi-processor system. + +'-nfp' + Disable the simulated FPU, so each FPU instruction will generate a + FPU disabled trap. + +'-port PORT' + Use PORT for the gdb server. Default is port 1234. + +'-r' + Start execution immediately without an interactive shell. This is + useful for automated testing. + +'-riscv' + Emulate a RISC-V RV32IMACF processor + +'-tlim DELAY' + Used together with -R to limit the amount of simulated time that + the simulator runs for before exiting. The following units are + recognized: US, MS and S. To limit simulated time to 100 seconds, + use: -TLIM 100 S. + +'-uart1 DEVICE' + Connect UART1 (console) of the simulator to DEVICE. stdin/stout is + default. +'-v' + Increase the debug level with 1, to provide more diagnostic + messages. Can be added multiple times. + +'file' + The executable file to be loaded must be an SPARC or RISCV ELF + file. On start-up, the file is loaded into the simulated memory. + + +File: sis.info, Node: Commands, Next: Emulated Systems, Prev: Invoking sis, Up: Top + +3 Commands +********** + +Below is the description of commands that are recognized by the +simulator. The command-line is parsed using GNU readline. A command +history of 64 commands is maintained. Use the up/down arrows to recall +previous commands. For more details, see the readline documentation. + +'batch FILE' + + Execute a batch file of SIS commands. + +'+bp ADDRESS' +'break ADDRESS' + + Set a breakpoint at ADDRESS. + +'bp' + Print all breakpoints. + +'delete NUM' + Delete breakpoint NUM. Use 'bp' or 'break' to see which number is + assigned to the breakpoints. + +'csr' + Show RISC-V CSR registers + +'cont [COUNT]' + Continue execution at present position, optionally for COUNT + instructions. + +'dis [ADDR] [COUNT]' + Disassemble [COUNT] instructions at address [ADDR]. Default values + for COUNT is 16 and ADDR is the present program counter. + +'echo STRING' + Print STRING to the simulator window. + +'float' + Print the FPU registers + +'gdb [PORT]' + Start the gdb server interface. Default port is 1234, but can be + overriden using the PORT argument. 'gdb' should be started with + 'target extended-remote localhost:1234'. + +'go ADDRESS [COUNT]' + Set pc to ADDRESS and resume execution. If COUNT is given, 'sis' + will stop after COUNT instructions have been executed. + +'help' + Print a small help menu for the SIS commands. + +'hist [TRACE_LENGTH]' + + Enable the instruction trace buffer. The TRACE_LENGTH last + executed instructions will be placed in the trace buffer. A 'hist' + command without a TRACE_LENGTH will display the trace buffer. + Specifying a zero trace length will disable the trace buffer. + +'load FILE_NAME' + + Load an ELF file into simulator memory. + +'mem [ADDR] [COUNT]' + + Display memory at [ADDR] for [COUNT] bytes. Same default values as + for the 'dis' command. + +'quit' + Exits the simulator. + +'perf [reset]' + The 'perf' command will display various execution statistics. A + 'perf reset' command will reset the statistics. This can be used + if statistics shall be calculated only over a part of the program. + The 'run' and 'reset' command also resets the statistic + information. + +'reg [REG_NAME] [VALUE]' + Print or set the CPU registers. 'reg' without parameters prints + the CPU registers. 'reg' REG_NAME VALUE sets the corresponding + register to VALUE. Valid register names for SPARC are psr, tbr, + wim, y, g1-g7, o0-o7 and l0-l7. Valid register names for RISCV-V + are mtvec, mstatus, pc, ra, sp, gp, tp, t0-t6, s0-s11 and a0-a7. + +'reset' + Perform a power-on reset. This command is equal to 'run 0'. + +'run [COUNT]' + + Reset the simulator and start execution from the entry point of the + loaded ELF file. If an instruction count is given (COUNT), the + simulator will stop after the specified number of instructions. + The event queue is emptied but any set breakpoints remain. + +'step' + + Execute one instruction and print it to the simulator console. + Equal to command 'trace 1' + +'sym' + + List symbols and corresponding addresses in the loaded program. + +'trace [COUNT]' + + Resume the simulator at the present position and print each execute + instruction executes. If an instruction count is given (COUNT), + the simulator will stop after the specified number of instructions. + +'wmem ADDR DATA' + Write DATA to memory at ADDR. Data is written as a 32-bit word. + +'wp' + Print all watchpoints + +'+wpr ADDRESS' + Adds an read watchpoint at address <address>. + +'-wpr NUM' + Delete read watchpoint NUM. Use WP to see which number is assigned + to the watchpoints. + +'+wpw ADDRESS' +'watch ADDRESS' + Adds an write watchpoint at ADDRESS. + +'-wpw NUM' + + Delete write watchpoint NUM. Use 'wp' to see which number is + assigned to the watchpoints. + + Typing a 'Ctrl-C' will interrupt a running simulator. + + Short forms of the commands are allowed, e.g 'c' 'co' or 'con' are +all interpreted as 'cont'. + + +File: sis.info, Node: Emulated Systems, Next: GNU Free Documentation License, Prev: Commands, Up: Top + +4 Emulated Systems +****************** + +'sis' is capable of emulating four different processor systems: + +'ERC32' + ERC32 SPARC V7 processor + +'LEON2' + LEON2 SPARC V8 processor + +'LEON3' + LEON3 SPARC V8 processor + +'RISC-V' + RISC-V (RV32IMACFD) processor + + The following sections outline the emulation characteristics of the +four supported systems. + +4.1 ERC32 SPARC V7 processor +============================ + +The radiation-hard ERC32 processor was developed by ESA in the mid-90's +for critical space application. It was used in the control computer for +the International Space Station (ISS) and also in the ATV re-supply ship +for the ISS. The sub-sequent single-chip ERC32SC was used in a multitude +of satellites, launchers and interplanetary probes, and is still being +manufactured by Atmel. See the ESA ERC32 page +(http://http://microelectronics.esa.int/erc32/index.html) for more +technical documetation. + + Sis emulates the original three-chip version of the ERC32 processor, +consisting of the integer unit (IU), floating-point unit (FPU) and the +memort controller (MEC). The IU is based on the Cypress CY601 SPARC V7 +processor, while the FPU is based on the Meiko FPU. The MEC implements +various peripheral functions and a memory controller. The single-chip +verion of ERC32 (ERC32SC/TSC695F) is functionally identical to the +original chip-set, but can operate at a higher frequency (25 MHz) + +The following functions of the ERC32 are emulated by sis: + + * IU & FPU with accurate timing + * UART A & B + * Real-time clock + * General purpose timer + * Interrupt controller + * Breakpoint register + * Watchpoint register + * 16 Mbyte ROM + * 16 Mbyte RAM + +4.1.1 IU and FPU instruction timing. +------------------------------------ + +The simulator provides cycle true simulation for ERC32. The following +table shows the emulated instruction timing for IU & FPU: + +Instruction Cycles +----------------------------- +jmpl, rett 2 +load 2 +store 3 +load double 3 +store double 4 +other integer ops 1 +fabs 2 +fadds 4 +faddd 4 +fcmps 4 +fcmpd 4 +fdivs 20 +fdivd 35 +fmovs 2 +fmuls 5 +fmuld 9 +fnegs 2 +fsqrts 37 +fsqrtd 65 +fsubs 4 +fsubd 4 +fdtoi 7 +fdots 3 +fitos 6 +fitod 6 +fstoi 6 +fstod 2 + + The parallel operation between the IU and FPU is modelled. This +means that a FPU instruction will execute in parallel with other +instructions as long as no data or resource dependency is detected. See +the 90C602E data sheet for the various types of dependencies. Tracing +using the 'trace' command will display the current simulator time in the +left column. This time indicates when the instruction is fetched. If a +dependency is detected, the following fetch will be delayed until the +conflict is resolved. + + The load dependency in the IU is also modelled - if the destination +register of a load instruction is used by the following instruction, an +idle cycle is inserted. + +4.1.2 UART A and B +------------------ + +UART A is by default connected to the console, while UART B is disabled. +Both UARTs can be connected to any file/device using the -uart1 and +-uart2 options at start-up. The following registers are implemented: + +Register Address +-------------------------------------- +UART A RX and TX register 0x01f800e0 +UART B RX and TX register 0x01f800e4 +UART status register 0x01f800e8 + + The UARTs generate interrupt 4 and 5 after each received or +transmitted character. The error interrupt is generated if overflow +occurs - other errors cannot occur. + + +File: sis.info, Node: GNU Free Documentation License, Next: Index, Prev: Emulated Systems, Up: Top + +Appendix A GNU Free Documentation License +***************************************** + + Version 1.3, 3 November 2008 + + Copyright (C) 2000, 2001, 2002, 2007, 2008 Free Software Foundation, Inc. + <http://fsf.org/> + + Everyone is permitted to copy and distribute verbatim copies + of this license document, but changing it is not allowed. + + 0. PREAMBLE + + The purpose of this License is to make a manual, textbook, or other + functional and useful document "free" in the sense of freedom: to + assure everyone the effective freedom to copy and redistribute it, + with or without modifying it, either commercially or + noncommercially. Secondarily, this License preserves for the + author and publisher a way to get credit for their work, while not + being considered responsible for modifications made by others. + + This License is a kind of "copyleft", which means that derivative + works of the document must themselves be free in the same sense. + It complements the GNU General Public License, which is a copyleft + license designed for free software. + + We have designed this License in order to use it for manuals for + free software, because free software needs free documentation: a + free program should come with manuals providing the same freedoms + that the software does. But this License is not limited to + software manuals; it can be used for any textual work, regardless + of subject matter or whether it is published as a printed book. We + recommend this License principally for works whose purpose is + instruction or reference. + + 1. APPLICABILITY AND DEFINITIONS + + This License applies to any manual or other work, in any medium, + that contains a notice placed by the copyright holder saying it can + be distributed under the terms of this License. Such a notice + grants a world-wide, royalty-free license, unlimited in duration, + to use that work under the conditions stated herein. The + "Document", below, refers to any such manual or work. Any member + of the public is a licensee, and is addressed as "you". You accept + the license if you copy, modify or distribute the work in a way + requiring permission under copyright law. + + A "Modified Version" of the Document means any work containing the + Document or a portion of it, either copied verbatim, or with + modifications and/or translated into another language. + + A "Secondary Section" is a named appendix or a front-matter section + of the Document that deals exclusively with the relationship of the + publishers or authors of the Document to the Document's overall + subject (or to related matters) and contains nothing that could + fall directly within that overall subject. (Thus, if the Document + is in part a textbook of mathematics, a Secondary Section may not + explain any mathematics.) The relationship could be a matter of + historical connection with the subject or with related matters, or + of legal, commercial, philosophical, ethical or political position + regarding them. + + The "Invariant Sections" are certain Secondary Sections whose + titles are designated, as being those of Invariant Sections, in the + notice that says that the Document is released under this License. + If a section does not fit the above definition of Secondary then it + is not allowed to be designated as Invariant. The Document may + contain zero Invariant Sections. If the Document does not identify + any Invariant Sections then there are none. + + The "Cover Texts" are certain short passages of text that are + listed, as Front-Cover Texts or Back-Cover Texts, in the notice + that says that the Document is released under this License. A + Front-Cover Text may be at most 5 words, and a Back-Cover Text may + be at most 25 words. + + A "Transparent" copy of the Document means a machine-readable copy, + represented in a format whose specification is available to the + general public, that is suitable for revising the document + straightforwardly with generic text editors or (for images composed + of pixels) generic paint programs or (for drawings) some widely + available drawing editor, and that is suitable for input to text + formatters or for automatic translation to a variety of formats + suitable for input to text formatters. A copy made in an otherwise + Transparent file format whose markup, or absence of markup, has + been arranged to thwart or discourage subsequent modification by + readers is not Transparent. An image format is not Transparent if + used for any substantial amount of text. A copy that is not + "Transparent" is called "Opaque". + + Examples of suitable formats for Transparent copies include plain + ASCII without markup, Texinfo input format, LaTeX input format, + SGML or XML using a publicly available DTD, and standard-conforming + simple HTML, PostScript or PDF designed for human modification. + Examples of transparent image formats include PNG, XCF and JPG. + Opaque formats include proprietary formats that can be read and + edited only by proprietary word processors, SGML or XML for which + the DTD and/or processing tools are not generally available, and + the machine-generated HTML, PostScript or PDF produced by some word + processors for output purposes only. + + The "Title Page" means, for a printed book, the title page itself, + plus such following pages as are needed to hold, legibly, the + material this License requires to appear in the title page. For + works in formats which do not have any title page as such, "Title + Page" means the text near the most prominent appearance of the + work's title, preceding the beginning of the body of the text. + + The "publisher" means any person or entity that distributes copies + of the Document to the public. + + A section "Entitled XYZ" means a named subunit of the Document + whose title either is precisely XYZ or contains XYZ in parentheses + following text that translates XYZ in another language. (Here XYZ + stands for a specific section name mentioned below, such as + "Acknowledgements", "Dedications", "Endorsements", or "History".) + To "Preserve the Title" of such a section when you modify the + Document means that it remains a section "Entitled XYZ" according + to this definition. + + The Document may include Warranty Disclaimers next to the notice + which states that this License applies to the Document. These + Warranty Disclaimers are considered to be included by reference in + this License, but only as regards disclaiming warranties: any other + implication that these Warranty Disclaimers may have is void and + has no effect on the meaning of this License. + + 2. VERBATIM COPYING + + You may copy and distribute the Document in any medium, either + commercially or noncommercially, provided that this License, the + copyright notices, and the license notice saying this License + applies to the Document are reproduced in all copies, and that you + add no other conditions whatsoever to those of this License. You + may not use technical measures to obstruct or control the reading + or further copying of the copies you make or distribute. However, + you may accept compensation in exchange for copies. If you + distribute a large enough number of copies you must also follow the + conditions in section 3. + + You may also lend copies, under the same conditions stated above, + and you may publicly display copies. + + 3. COPYING IN QUANTITY + + If you publish printed copies (or copies in media that commonly + have printed covers) of the Document, numbering more than 100, and + the Document's license notice requires Cover Texts, you must + enclose the copies in covers that carry, clearly and legibly, all + these Cover Texts: Front-Cover Texts on the front cover, and + Back-Cover Texts on the back cover. Both covers must also clearly + and legibly identify you as the publisher of these copies. The + front cover must present the full title with all words of the title + equally prominent and visible. You may add other material on the + covers in addition. Copying with changes limited to the covers, as + long as they preserve the title of the Document and satisfy these + conditions, can be treated as verbatim copying in other respects. + + If the required texts for either cover are too voluminous to fit + legibly, you should put the first ones listed (as many as fit + reasonably) on the actual cover, and continue the rest onto + adjacent pages. + + If you publish or distribute Opaque copies of the Document + numbering more than 100, you must either include a machine-readable + Transparent copy along with each Opaque copy, or state in or with + each Opaque copy a computer-network location from which the general + network-using public has access to download using public-standard + network protocols a complete Transparent copy of the Document, free + of added material. If you use the latter option, you must take + reasonably prudent steps, when you begin distribution of Opaque + copies in quantity, to ensure that this Transparent copy will + remain thus accessible at the stated location until at least one + year after the last time you distribute an Opaque copy (directly or + through your agents or retailers) of that edition to the public. + + It is requested, but not required, that you contact the authors of + the Document well before redistributing any large number of copies, + to give them a chance to provide you with an updated version of the + Document. + + 4. MODIFICATIONS + + You may copy and distribute a Modified Version of the Document + under the conditions of sections 2 and 3 above, provided that you + release the Modified Version under precisely this License, with the + Modified Version filling the role of the Document, thus licensing + distribution and modification of the Modified Version to whoever + possesses a copy of it. In addition, you must do these things in + the Modified Version: + + A. Use in the Title Page (and on the covers, if any) a title + distinct from that of the Document, and from those of previous + versions (which should, if there were any, be listed in the + History section of the Document). You may use the same title + as a previous version if the original publisher of that + version gives permission. + + B. List on the Title Page, as authors, one or more persons or + entities responsible for authorship of the modifications in + the Modified Version, together with at least five of the + principal authors of the Document (all of its principal + authors, if it has fewer than five), unless they release you + from this requirement. + + C. State on the Title page the name of the publisher of the + Modified Version, as the publisher. + + D. Preserve all the copyright notices of the Document. + + E. Add an appropriate copyright notice for your modifications + adjacent to the other copyright notices. + + F. Include, immediately after the copyright notices, a license + notice giving the public permission to use the Modified + Version under the terms of this License, in the form shown in + the Addendum below. + + G. Preserve in that license notice the full lists of Invariant + Sections and required Cover Texts given in the Document's + license notice. + + H. Include an unaltered copy of this License. + + I. Preserve the section Entitled "History", Preserve its Title, + and add to it an item stating at least the title, year, new + authors, and publisher of the Modified Version as given on the + Title Page. If there is no section Entitled "History" in the + Document, create one stating the title, year, authors, and + publisher of the Document as given on its Title Page, then add + an item describing the Modified Version as stated in the + previous sentence. + + J. Preserve the network location, if any, given in the Document + for public access to a Transparent copy of the Document, and + likewise the network locations given in the Document for + previous versions it was based on. These may be placed in the + "History" section. You may omit a network location for a work + that was published at least four years before the Document + itself, or if the original publisher of the version it refers + to gives permission. + + K. For any section Entitled "Acknowledgements" or "Dedications", + Preserve the Title of the section, and preserve in the section + all the substance and tone of each of the contributor + acknowledgements and/or dedications given therein. + + L. Preserve all the Invariant Sections of the Document, unaltered + in their text and in their titles. Section numbers or the + equivalent are not considered part of the section titles. + + M. Delete any section Entitled "Endorsements". Such a section + may not be included in the Modified Version. + + N. Do not retitle any existing section to be Entitled + "Endorsements" or to conflict in title with any Invariant + Section. + + O. Preserve any Warranty Disclaimers. + + If the Modified Version includes new front-matter sections or + appendices that qualify as Secondary Sections and contain no + material copied from the Document, you may at your option designate + some or all of these sections as invariant. To do this, add their + titles to the list of Invariant Sections in the Modified Version's + license notice. These titles must be distinct from any other + section titles. + + You may add a section Entitled "Endorsements", provided it contains + nothing but endorsements of your Modified Version by various + parties--for example, statements of peer review or that the text + has been approved by an organization as the authoritative + definition of a standard. + + You may add a passage of up to five words as a Front-Cover Text, + and a passage of up to 25 words as a Back-Cover Text, to the end of + the list of Cover Texts in the Modified Version. Only one passage + of Front-Cover Text and one of Back-Cover Text may be added by (or + through arrangements made by) any one entity. If the Document + already includes a cover text for the same cover, previously added + by you or by arrangement made by the same entity you are acting on + behalf of, you may not add another; but you may replace the old + one, on explicit permission from the previous publisher that added + the old one. + + The author(s) and publisher(s) of the Document do not by this + License give permission to use their names for publicity for or to + assert or imply endorsement of any Modified Version. + + 5. COMBINING DOCUMENTS + + You may combine the Document with other documents released under + this License, under the terms defined in section 4 above for + modified versions, provided that you include in the combination all + of the Invariant Sections of all of the original documents, + unmodified, and list them all as Invariant Sections of your + combined work in its license notice, and that you preserve all + their Warranty Disclaimers. + + The combined work need only contain one copy of this License, and + multiple identical Invariant Sections may be replaced with a single + copy. If there are multiple Invariant Sections with the same name + but different contents, make the title of each such section unique + by adding at the end of it, in parentheses, the name of the + original author or publisher of that section if known, or else a + unique number. Make the same adjustment to the section titles in + the list of Invariant Sections in the license notice of the + combined work. + + In the combination, you must combine any sections Entitled + "History" in the various original documents, forming one section + Entitled "History"; likewise combine any sections Entitled + "Acknowledgements", and any sections Entitled "Dedications". You + must delete all sections Entitled "Endorsements." + + 6. COLLECTIONS OF DOCUMENTS + + You may make a collection consisting of the Document and other + documents released under this License, and replace the individual + copies of this License in the various documents with a single copy + that is included in the collection, provided that you follow the + rules of this License for verbatim copying of each of the documents + in all other respects. + + You may extract a single document from such a collection, and + distribute it individually under this License, provided you insert + a copy of this License into the extracted document, and follow this + License in all other respects regarding verbatim copying of that + document. + + 7. AGGREGATION WITH INDEPENDENT WORKS + + A compilation of the Document or its derivatives with other + separate and independent documents or works, in or on a volume of a + storage or distribution medium, is called an "aggregate" if the + copyright resulting from the compilation is not used to limit the + legal rights of the compilation's users beyond what the individual + works permit. When the Document is included in an aggregate, this + License does not apply to the other works in the aggregate which + are not themselves derivative works of the Document. + + If the Cover Text requirement of section 3 is applicable to these + copies of the Document, then if the Document is less than one half + of the entire aggregate, the Document's Cover Texts may be placed + on covers that bracket the Document within the aggregate, or the + electronic equivalent of covers if the Document is in electronic + form. Otherwise they must appear on printed covers that bracket + the whole aggregate. + + 8. TRANSLATION + + Translation is considered a kind of modification, so you may + distribute translations of the Document under the terms of section + 4. Replacing Invariant Sections with translations requires special + permission from their copyright holders, but you may include + translations of some or all Invariant Sections in addition to the + original versions of these Invariant Sections. You may include a + translation of this License, and all the license notices in the + Document, and any Warranty Disclaimers, provided that you also + include the original English version of this License and the + original versions of those notices and disclaimers. In case of a + disagreement between the translation and the original version of + this License or a notice or disclaimer, the original version will + prevail. + + If a section in the Document is Entitled "Acknowledgements", + "Dedications", or "History", the requirement (section 4) to + Preserve its Title (section 1) will typically require changing the + actual title. + + 9. TERMINATION + + You may not copy, modify, sublicense, or distribute the Document + except as expressly provided under this License. Any attempt + otherwise to copy, modify, sublicense, or distribute it is void, + and will automatically terminate your rights under this License. + + However, if you cease all violation of this License, then your + license from a particular copyright holder is reinstated (a) + provisionally, unless and until the copyright holder explicitly and + finally terminates your license, and (b) permanently, if the + copyright holder fails to notify you of the violation by some + reasonable means prior to 60 days after the cessation. + + Moreover, your license from a particular copyright holder is + reinstated permanently if the copyright holder notifies you of the + violation by some reasonable means, this is the first time you have + received notice of violation of this License (for any work) from + that copyright holder, and you cure the violation prior to 30 days + after your receipt of the notice. + + Termination of your rights under this section does not terminate + the licenses of parties who have received copies or rights from you + under this License. If your rights have been terminated and not + permanently reinstated, receipt of a copy of some or all of the + same material does not give you any rights to use it. + + 10. FUTURE REVISIONS OF THIS LICENSE + + The Free Software Foundation may publish new, revised versions of + the GNU Free Documentation License from time to time. Such new + versions will be similar in spirit to the present version, but may + differ in detail to address new problems or concerns. See + <http://www.gnu.org/copyleft/>. + + Each version of the License is given a distinguishing version + number. If the Document specifies that a particular numbered + version of this License "or any later version" applies to it, you + have the option of following the terms and conditions either of + that specified version or of any later version that has been + published (not as a draft) by the Free Software Foundation. If the + Document does not specify a version number of this License, you may + choose any version ever published (not as a draft) by the Free + Software Foundation. If the Document specifies that a proxy can + decide which future versions of this License can be used, that + proxy's public statement of acceptance of a version permanently + authorizes you to choose that version for the Document. + + 11. RELICENSING + + "Massive Multiauthor Collaboration Site" (or "MMC Site") means any + World Wide Web server that publishes copyrightable works and also + provides prominent facilities for anybody to edit those works. A + public wiki that anybody can edit is an example of such a server. + A "Massive Multiauthor Collaboration" (or "MMC") contained in the + site means any set of copyrightable works thus published on the MMC + site. + + "CC-BY-SA" means the Creative Commons Attribution-Share Alike 3.0 + license published by Creative Commons Corporation, a not-for-profit + corporation with a principal place of business in San Francisco, + California, as well as future copyleft versions of that license + published by that same organization. + + "Incorporate" means to publish or republish a Document, in whole or + in part, as part of another Document. + + An MMC is "eligible for relicensing" if it is licensed under this + License, and if all works that were first published under this + License somewhere other than this MMC, and subsequently + incorporated in whole or in part into the MMC, (1) had no cover + texts or invariant sections, and (2) were thus incorporated prior + to November 1, 2008. + + The operator of an MMC Site may republish an MMC contained in the + site under CC-BY-SA on the same site at any time before August 1, + 2009, provided the MMC is eligible for relicensing. + +ADDENDUM: How to use this License for your documents +==================================================== + +To use this License in a document you have written, include a copy of +the License in the document and put the following copyright and license +notices just after the title page: + + Copyright (C) YEAR YOUR NAME. + Permission is granted to copy, distribute and/or modify this document + under the terms of the GNU Free Documentation License, Version 1.3 + or any later version published by the Free Software Foundation; + with no Invariant Sections, no Front-Cover Texts, and no Back-Cover + Texts. A copy of the license is included in the section entitled ``GNU + Free Documentation License''. + + If you have Invariant Sections, Front-Cover Texts and Back-Cover +Texts, replace the "with...Texts." line with this: + + with the Invariant Sections being LIST THEIR TITLES, with + the Front-Cover Texts being LIST, and with the Back-Cover Texts + being LIST. + + If you have Invariant Sections without Cover Texts, or some other +combination of the three, merge those two alternatives to suit the +situation. + + If your document contains nontrivial examples of program code, we +recommend releasing these examples in parallel under your choice of free +software license, such as the GNU General Public License, to permit +their use in free software. + + +File: sis.info, Node: Index, Prev: GNU Free Documentation License, Up: Top + +Index +***** + + +* Menu: + +* Commands: Commands. (line 6) +* Emulated Systems: Emulated Systems. (line 6) +* Introduction: Introduction. (line 6) +* invoking sis: Invoking sis. (line 6) +* sis: Invoking sis. (line 6) + + + +Tag Table: +Node: Top697 +Node: Introduction948 +Node: Invoking sis1310 +Node: Commands3362 +Node: Emulated Systems7466 +Node: GNU Free Documentation License11416 +Node: Index36564 + +End Tag Table |