Searched hist:37 (Results 201 - 225 of 673) sorted by relevance
| /seL4-refos-master/projects/util_libs/libplatsupport/plat_include/pc99/platsupport/plat/acpi/ | ||
| H A D | acpi.h | diff 5a2ed916 Mon Dec 11 06:37:12 MST 2017 adamf <a.felizzi@student.unsw.edu.au> libplatsupport: Modifications to RSDP parsing Moved the parsing of the RSDP out of the table parsing procedure, (_acpi_parse_tables). If the RSDP is not provided for ACPI initialization, it will be searched for in the BIOS segment. Modified the acpi_t struct to store the whole RSDP object rather than the physical address of the object. |
| /seL4-refos-master/projects/util_libs/libplatsupport/plat_include/tk1/platsupport/plat/ | ||
| H A D | clock.h | diff 0b442fa6 Sun Jan 29 22:37:35 MST 2017 Kent McLeod <Kent.Mcleod@data61.csiro.au> libplatsupport: Add tk1 clkar register layout tk1 has a single clock and reset controller that controls all clocks and reset lines for the SOC. This commit adds support mainly for taking a fault on an address in the device frame and then looking up relevant register info. |
| /seL4-refos-master/projects/util_libs/libplatsupport/src/arch/arm/ | ||
| H A D | dma330.c | diff 9deb65ea Wed May 31 23:37:45 MDT 2017 Kent McLeod <Kent.Mcleod@data61.csiro.au> Change 1 << * to BIT(*) in some cases |
| /seL4-refos-master/projects/util_libs/libplatsupport/src/mach/exynos/ | ||
| H A D | pmic.c | diff 9deb65ea Wed May 31 23:37:45 MDT 2017 Kent McLeod <Kent.Mcleod@data61.csiro.au> Change 1 << * to BIT(*) in some cases |
| /seL4-refos-master/projects/util_libs/libutils/ | ||
| H A D | CMakeLists.txt | diff 6bc4bdbc Tue Jan 30 06:38:37 MST 2018 Kofi Doku Atuah <kofidoku.atuah@data61.csiro.au> CMake: Add autoconf generation support for libutils |
| /seL4-refos-master/projects/util_libs/libutils/include/utils/ | ||
| H A D | page.h | diff b8787e8d Thu Dec 08 15:37:59 MST 2016 Adrian Danis <Adrian.Danis@data61.csiro.au> libutils: Add `PAGE_BITS_4M` |
| /seL4-refos-master/libs/libplatsupport/plat_include/imx8m/platsupport/plat/ | ||
| H A D | timer.h | diff 4e146605 Fri Nov 08 00:00:37 MST 2019 Oliver Scott <Oliver.Scott@data61.csiro.au> imx8m-mcs adjust frequency Adjust gpt frequency to synchronize with kernel timer. |
| /seL4-refos-master/projects/util_libs/libplatsupport/plat_include/imx8m/platsupport/plat/ | ||
| H A D | timer.h | diff 4e146605 Fri Nov 08 00:00:37 MST 2019 Oliver Scott <Oliver.Scott@data61.csiro.au> imx8m-mcs adjust frequency Adjust gpt frequency to synchronize with kernel timer. |
| /seL4-refos-master/kernel/libsel4/include/api/ | ||
| H A D | syscall.xsd | diff 7fbde1bb Tue Jun 14 22:22:37 MDT 2016 Adrian Danis <Adrian.Danis@data61.csiro.au> SELFOUR-287: 32-bit vt-x implementation This is an implementation of vt-x for x86 kernels running in ia32 mode. |
| /seL4-refos-master/kernel/src/arch/arm/kernel/ | ||
| H A D | thread.c | diff a318446f Mon Jul 07 21:37:40 MDT 2014 TrustworthySystems <gatekeeper@sel4.systems> Recommit of arm_hyp branch on release snapshot |
| /seL4-refos-master/kernel/src/drivers/serial/ | ||
| H A D | bcm2835-aux-uart.c | diff b2b3ad77 Thu Feb 21 06:20:37 MST 2019 Oliver Scott <Oliver.Scott@data61.csiro.au> serial-input: Remove whitespace |
| H A D | exynos4210-uart.c | diff b2b3ad77 Thu Feb 21 06:20:37 MST 2019 Oliver Scott <Oliver.Scott@data61.csiro.au> serial-input: Remove whitespace |
| H A D | pl011.c | diff e82a5a07 Tue Feb 19 06:50:37 MST 2019 Oliver Scott <Oliver.Scott@data61.csiro.au> serial-input: Add input to kernel serial drivers Added getDebugChar basic functionality for all platforms. |
| H A D | tegra_omap3_dwapb.c | diff e82a5a07 Tue Feb 19 06:50:37 MST 2019 Oliver Scott <Oliver.Scott@data61.csiro.au> serial-input: Add input to kernel serial drivers Added getDebugChar basic functionality for all platforms. |
| /seL4-refos-master/libs/libsel4/include/api/ | ||
| H A D | syscall.xsd | diff 7fbde1bb Tue Jun 14 22:22:37 MDT 2016 Adrian Danis <Adrian.Danis@data61.csiro.au> SELFOUR-287: 32-bit vt-x implementation This is an implementation of vt-x for x86 kernels running in ia32 mode. |
| /seL4-refos-master/seL4_tools/cmake-tool/helpers/ | ||
| H A D | dts.cmake | diff a8950605 Wed Mar 20 07:19:37 MDT 2019 Anna Lyons <Anna.Lyons@data61.csiro.au> style: style cmake files consistently |
| H A D | cross_compiling.cmake | diff a8950605 Wed Mar 20 07:19:37 MDT 2019 Anna Lyons <Anna.Lyons@data61.csiro.au> style: style cmake files consistently |
| H A D | rust.cmake | diff a8950605 Wed Mar 20 07:19:37 MDT 2019 Anna Lyons <Anna.Lyons@data61.csiro.au> style: style cmake files consistently |
| /seL4-refos-master/seL4_tools/cmake-tool/ | ||
| H A D | projects.cmake | diff a8950605 Wed Mar 20 07:19:37 MDT 2019 Anna Lyons <Anna.Lyons@data61.csiro.au> style: style cmake files consistently |
| /seL4-refos-master/seL4_tools/elfloader-tool/src/arch-arm/32/ | ||
| H A D | debug.c | diff 96e61aa6 Thu Jul 13 18:38:37 MDT 2017 Anna Lyons <Anna.Lyons@data61.csiro.au> Fix whitespace - remove trailing whitespace - remove duplicate blank lines - remove blank lines at end of file |
| H A D | traps.S | diff 96e61aa6 Thu Jul 13 18:38:37 MDT 2017 Anna Lyons <Anna.Lyons@data61.csiro.au> Fix whitespace - remove trailing whitespace - remove duplicate blank lines - remove blank lines at end of file |
| /seL4-refos-master/seL4_tools/elfloader-tool/src/arch-arm/armv/armv7-a/32/ | ||
| H A D | mmu-hyp.S | diff 96e61aa6 Thu Jul 13 18:38:37 MDT 2017 Anna Lyons <Anna.Lyons@data61.csiro.au> Fix whitespace - remove trailing whitespace - remove duplicate blank lines - remove blank lines at end of file |
| /seL4-refos-master/seL4_tools/elfloader-tool/src/arch-arm/armv/armv7ve/32/ | ||
| H A D | mmu-hyp.S | diff 96e61aa6 Thu Jul 13 18:38:37 MDT 2017 Anna Lyons <Anna.Lyons@data61.csiro.au> Fix whitespace - remove trailing whitespace - remove duplicate blank lines - remove blank lines at end of file |
| /seL4-refos-master/seL4_tools/elfloader-tool/src/arch-arm/armv/armv8-a/32/ | ||
| H A D | mmu-hyp.S | diff 96e61aa6 Thu Jul 13 18:38:37 MDT 2017 Anna Lyons <Anna.Lyons@data61.csiro.au> Fix whitespace - remove trailing whitespace - remove duplicate blank lines - remove blank lines at end of file |
| /seL4-refos-master/seL4_tools/elfloader-tool/src/plat/imx6/ | ||
| H A D | monitor.S | diff 96e61aa6 Thu Jul 13 18:38:37 MDT 2017 Anna Lyons <Anna.Lyons@data61.csiro.au> Fix whitespace - remove trailing whitespace - remove duplicate blank lines - remove blank lines at end of file |
Completed in 175 milliseconds