#
fa4568ed |
|
10-Aug-2018 |
Thomas Sewell <Thomas.Sewell@data61.csiro.au> |
Drop SEL4_PACKED from types used by seL4. It has become clear that the 'packed' GCC attribute affects the memory semantics of C in a way that the verification tools do not understand. The bootinfo types are used by kernel boot code (not currently verified, but covered by binary verification) and should not use this attribute. This is a source-compatible but not binary-compatible change.
|
#
de42f826 |
|
05-Feb-2018 |
Adrian Danis <Adrian.Danis@data61.csiro.au> |
x86: Introduce IO port control caps Changes the way IO ports work such that instead of 'minting' IO port caps down into new IO port caps with smaller ranges new IO port ranges must be allocated centrally from an IO port control cap. This mechanism acts in a very similar fashion as IRQ handler/control capabilities and ensures that allocated IO ports do not overlap. Disallowing overlapping IO ports is necessary to ensure the CDT remains valid as capabilities are deleted.
|
#
ce2efb33 |
|
18-Feb-2018 |
Adrian Danis <Adrian.Danis@data61.csiro.au> |
Remove archInfo from bootinfo With extended bootinfo providing a more flexible and extensible form of archInfo this member can be retired.
|
#
9a10cfac |
|
18-Feb-2018 |
Adrian Danis <Adrian.Danis@data61.csiro.au> |
x86: Define tsc frequency bootinfo header
|
#
734320d7 |
|
20-Nov-2017 |
Alexander Boettcher <alexander.boettcher@genode-labs.com> |
x86: add framebuffer info of MBI2 via boot_info
|
#
023977fc |
|
04-Oct-2017 |
Alexander Boettcher <alexander.boettcher@genode-labs.com> |
x86: Provide copy of RSDP in bootinfo This gives a rootserver a way to find the ACPI tables in cases where there is no BIOS region to scan for an RSDP.
|
#
07f94833 |
|
18-Jun-2017 |
Anna Lyons <Anna.Lyons@data61.csiro.au> |
libsel4: fix licenses - some were incorrectly marked GPL (libsel4 is BSD) - update NICTA --> DATA61 etc - fix tags D61 --> DATA61 - update year to 2017
|
#
d13544c7 |
|
01-May-2017 |
Kent McLeod <Kent.Mcleod@data61.csiro.au> |
SELFOUR-865: Pass memory map information to user
|
#
256c30ae |
|
13-Feb-2017 |
Adrian Danis <Adrian.Danis@data61.csiro.au> |
x86: Pass VBE information from multiboot through bootinfo
|
#
7836f76c |
|
12-Feb-2017 |
Adrian Danis <Adrian.Danis@data61.csiro.au> |
Extend bootinfo to support potentially arbitrary additional structures This provides a future proof interface for extending the bootinfo region with additional kinds of optional architecture and platform specific information. The basic idea is to report the size of a region directly following the bootinfo frame, which is made up of a series of 'chunks'. Each chunk has an identifier (describing what it is) and a length, allowing unknown chunks to be skipped in favor of examining the remaining of the chunks.
|
#
e3b39248 |
|
12-Feb-2017 |
Adrian Danis <Adrian.Danis@data61.csiro.au> |
Explicitly pack bootinfo data structures To prevent the kernel and root server having a different layout of these structs if they are compiled with different flags etc they should be packed
|
#
31fe0826 |
|
25-Jan-2017 |
Berkus Decker <berkus@users.noreply.github.com> |
Fix typo
|
#
05bf1ca4 |
|
13-Nov-2016 |
Adrian Danis <Adrian.Danis@data61.csiro.au> |
libsel4: Reorder bootinfo struct This reorders the bootinfo struct to place the untyped array as the last element. Having the array at the end makes the layout of the information in this struct easier to represent in other languages.
|
#
c86669df |
|
31-Oct-2016 |
Anna Lyons <Anna.Lyons@data61.csiro.au> |
x86: export tsc freq in bootinfo We read the frequency from the platform info MSR and export it to the user for accurate timing (for platforms that support platform into)
|
#
1a98a2a3 |
|
16-Oct-2016 |
Adrian Danis <Adrian.Danis@data61.csiro.au> |
libsel4: Reorder bootinfo struct This reorders the bootinfo struct to place the untyped array as the last element. Having the array at the end makes the layout of the information in this struct easier to represent in other languages.
|
#
8e77cdb5 |
|
21-Sep-2016 |
Adrian Danis <Adrian.Danis@data61.csiro.au> |
SELFOUR-421: Add padding for untyped in bootinfo
|
#
d507b2d3 |
|
09-Feb-2016 |
Adrian Danis <Adrian.Danis@nicta.com.au> |
SELFOUR-421 Introduce explicit device frames and untypeds Kernel objects cannot be created from device untypeds, with the exception of frames, which do not get zeroed and cannot be used as an IPC buffer. Device untypeds additionally cannot be used in the construction of ASID pools. This then changes the API to the rootserver (i.e. bootinfo) to send device untypeds instead of device frames. On ARM these device untypeds are the same as the previously exported device frame regions. On x86 PCI scanning is removed and all physical memory addresses (that are not important for kernel integrity) are released to the user. In order to have bits in the frame and untyped caps on ARM the number of software ASIDs had to be reduced from 2^18 to 2^17, and the maximum untyped size reduced from 2^31 to 2^30
|
#
879d9724 |
|
13-May-2016 |
Yanyan Shen <yanyan.shen@nicta.com.au> |
arm/tk1: a checkpoint for SMMU implementation
|
#
289bf92b |
|
05-Jan-2016 |
Anna Lyons <Anna.Lyons@nicta.com.au> |
SELFOUR-114: remove bootinfo.h duplication
|