portugalfuturista/seL4
2
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions
4929 commits 1 branch 42 tags 18 MiB
Commit graph

1845 commits

Author SHA1 Message Date
Adrian Danis
fc1e413e5b ia32: Move many assembly operations from .S file into inline assembly 2015-05-13 17:00:26 +10:00
Tim Newsham
7bd0da5533 am335x: setup clock and enable dmtimer3 2015-05-04 11:46:06 +10:00
Adrian Danis
e581882c3c trivial: style 2015-04-17 13:52:37 +10:00
Sean Peters
8abdf6c5ed ia32: added the option to disable prefetchers 2015-04-15 14:38:55 +10:00
Sean Peters
efcacb55ba split the types header into basic and compound to resolve circular dependencies 2015-04-15 11:57:08 +10:00
akroh
a5f61c7166 ARM: Fix hardcoded CPSR value for the idle thread 2015-03-23 10:34:08 +11:00
Matthew Fernandez
4f12acd270 ARM: Map the initial thread's IPC buffer and boot info as non-executable. 
Note that this also required some irrelevant x86 changes to match function
arguments.
 2015-03-09 14:16:37 +11:00
akroh
452f549228 Merge branch 'master' into arm_hyp 2015-02-25 13:50:16 +11:00
akroh
b62b20f24d ARM: Add config options for exporting PMU and ARM generic timer physical count registers to PL0 2015-02-24 11:15:46 +11:00
akroh
908c589a87 ARM HYP: Trap SMC 2015-02-20 15:09:25 +11:00
akroh
161125e3a8 Merge branch 'master' into arm_hyp 
Conflicts:
	src/plat/exynos_common/io.c
 2015-02-20 12:53:51 +11:00
Adrian Danis
e7c9885f35 ia32: Rework the notion of isValidVTableRoot to be a check for what is permissable for a TCB to contain in its VTableRoot, and create a new isValidNativeRoot to be a check for whether a capability is a PD or PDPT that can be directly run. VTableRoots that are not native would be something like EPT if using vtx 2015-02-17 16:43:30 +11:00
Adrian Danis
a5e442a70e Merge branch master into pae 2015-02-17 10:37:33 +11:00
Tim Newsham
80308386e7 - fix am335x interrupt handling and disable watchdog 2015-02-17 10:15:12 +11:00
Adrian Danis
01ba49802c trivial: style 2015-02-16 10:20:06 +11:00
Robbie VanVossen
f28eb2c586 Added support for the Allwinner A20 platform (specifically the CubieTruck board) 2015-02-13 10:24:42 -05:00
Adrian Danis
af0f3b361f ia32: Large commit that implements PAE paging for x86 
This commit involves the PAE paging itself, refactoring the
vspace code to extra what is common between PAE and 32bit paging,
as well as some renaming to not call the root paging structure
a PD
 2015-01-28 12:11:51 +11:00
akroh
b56f84aa1e Merge commit '212ab3f3fd3f8a054db1d2d03f662655c730b4e2' into arm_hyp 
Conflicts:
	Kconfig
 2015-01-21 15:49:07 +11:00
Adrian Danis
14bfc396b2 ia32: Move _boot_pd definition from linker script to C 2015-01-16 11:14:36 +11:00
akroh
d796aa0a22 zynq: Increase kernel window size (start at 0xe0000000) now that the elfloader does not attempt to access the serial port at 0xe0001000 after PD switch 2015-01-07 16:58:33 +11:00
akroh
bcdb09d93b Merge exynos debug serial drivers 2015-01-06 17:49:07 +11:00
Anna Lyons
28d7fda6a9 make include/api/constants.h the same as libsel4/include/sel4/constants.h 2014-12-23 13:21:28 +11:00
akroh
98ac528fc7 Zynq7000: split coresite and trustzone device memory blocks 2014-12-18 13:59:23 +11:00
akroh
d46a234a3f Add support for Zynq-7000 2014-12-18 12:29:25 +11:00
Adrian Danis
47624ce008 trivial: style 2014-11-27 16:04:50 +11:00
Matthew Fernandez
644dff497b further support for XN bit on ARM 2014-11-26 12:44:06 +11:00
Anna Lyons
e6451f8d00 enable existing armv7 log buffer address for odriod-xu: tested, it works 2014-11-19 15:13:11 +11:00
Adrian Danis
68a8b6877f exynos5: Use high mem for seL4 and export low mem as device region 2014-11-07 09:27:40 +11:00
Gerwin Klein
3179696494 Merge pull request #38 from mfernandez/trivial 
trivial: Print domain values as unsigned integers in user errors.
 2014-10-22 09:42:49 +11:00
Matthew Fernandez
6d31d46024 trivial: Standardise on 32-bit unsigned variables for domain values. 
Domains are unnecessarily treated explicitly as 8-bit values within boot info.
Though there are existing proof constraints that limit the maximum domain value
to 8 bits, most of the code would permit domain values up to 32 bits. The
maximum value is unnecessarily constrained in boot info, a restriction which
this commit removes.

Closes VER-341
 2014-10-21 13:32:42 +11:00
Matthew Fernandez
931879af5a trivial: Remove unimplemented function prototype. 2014-10-21 11:52:24 +11:00
Peter Chubb
54b5cb6920 Add support for Odroid XU3 
The XU3 uses a 5422 which for seL4's purposes is almost the same as
the Odroid XU's 5410.  Define a new PLAT_EXYNOS54XX to cover both.

Keep PLAT_EXYNOS5410 and ...5422 for the few places (not in the
kernel) where the difference matters.
 2014-10-16 09:41:46 +11:00
akroh
911d135e2f merge with master 2014-09-29 13:11:13 +10:00
Anna Lyons
fb7dd823bb Set default MAX_NUM_BOOTINFO_DEVICE_REGIONS to a value that will fit into the initial boot info frame 2014-09-03 14:06:03 +10:00
Joel Beeren
3695d22b18 ioapic: refactored C code and first attempt at haskell spec 2014-09-02 16:22:40 +10:00
Adrian Danis
c0e9c63804 Support IOAPIC on ia32 and modify interrupt handling to support user level setting of modes 2014-09-02 16:22:40 +10:00
Thomas Sewell
5d439655bd DONT_TRANSLATE more inline asm functions. 
The c-parser can now parse these functions, but it does it by
discarding the inline ASM block, creating a misleading and likely
malformed function body. It is better to not translate these
with a DONT_TRANSLATE comment.

This change has been made for the current verification platform
only, and should probably be extended to any other verification
targets as necessary.
 2014-09-01 16:58:32 +10:00
Adrian Danis
828a1e57a1 arm: FSR is 14 bits in newer arm versions, not 12 2014-08-20 15:48:17 +10:00
Adrian Danis
7d877465de ia32: Move as much of the interrupt and syscall traps into C as possible 2014-08-12 14:00:28 +10:00
akroh
3cdc25599e EXYNOS5: Add additional device regions and IRQS 2014-07-25 14:13:08 +10:00
Adrian Danis
fad4707817 Merge branch 'master' into arm_hyp 
Conflicts:
	src/arch/arm/head.S
	src/arch/arm/kernel/vspace.c
 2014-07-18 14:49:54 +10:00
TrustworthySystems
a318446f8c Recommit of arm_hyp branch on release snapshot 2014-07-18 14:48:43 +10:00
Adrian Danis
43e1a215bb arm: Add work around for errata on some Cortex-A15 boards and move errata checking to C code 2014-07-18 11:37:11 +10:00
TrustworthySystems
784a367b37 Release cleanup 2014-07-18 05:10:23 +10:00
TrusthworthySystems
91b7da8625 Release snapshot 2014-07-18 05:03:59 +10:00