forked from Imagelibrary/seL4
a4d6bf850c
- Remove Remap function from seL4 API for arm, x86, riscv and the respective invocation implementation. - Update Map as replacement for Remap - Update manual This allows a change of rights if the frame being mapped is already mapped in at the given vaddr. To map a page to a different address, unmap it first. Co-authored-by: Hesham Almatary <hesham.almatary@data61.csiro.au> Co-authored-by: Anna Lyons <Anna.Lyons@data61.csiro.au> Co-authored-by: Victor Phan <Victor.Phan@data61.csiro.au> Co-authored-by: Kent McLeod <Kent.Mcleod@data61.csiro.au>
#
# Copyright 2014, General Dynamics C4 Systems
#
# This software may be distributed and modified according to the terms of
# the GNU General Public License version 2. Note that NO WARRANTY is provided.
# See "LICENSE_GPLv2.txt" for details.
#
# @TAG(GD_GPL)
#
seL4 manual (including API). Default make target builds a PDF.
Original text from paper template README follows...
$Id: README,v 1.6 2007-03-07 15:09:26 gernot Exp $
A note on referencing:
The paper/report template can now handle the use of bibexport, and is set up to
use this method by default. In your paper or report, instead of specifying your
bibfile sources in the \bibliography{file0,file1} command, you simply specify
\bibliography{references}. Specify your source bibfiles in the Makefile as
described above.
At make time, the build system will parse your targets for citations and then
collate all the BibTeX entries in references.bib.
This is useful for several reasons. If you need to hand edit BibTeX entries to
save room in your paper, you don't need to edit the ERTOS bibfiles, or make
duplicates on entries in extras.bib. It also means that BibTeX entries are stored
with the paper in the repository.
The Makefile is smart. If you add or remove a reference to a target, the build
system will ask you whether you want to rebuild references.bib. This is to ensure
that if you have made changes by hand to any references, these aren't overwritten.
Consider updating this template when appropriate.