Sign in
opensecura
/
3p
/
sel4
/
sel4_libs
/
7e93207f5d852a3ca3ed4a6f2eb534f23fddba4d
/
libsel4platsupport
600fe15
convert to SPDX license headers
by Gerwin Klein
· 4 years ago
56edd6b
trivial: Fix compiler warnings
by Kent McLeod
· 4 years, 6 months ago
2d74ed2
sel4platsupport: Remove dev-specific init calls
by Damon Lee
· 5 years ago
996f4e6
pmem: Downgrade error output to warning
by Kent McLeod
· 5 years ago
3466606
platsupport/simple: add per cpu irq support on arm
by Anna Lyons
· 5 years ago
74188d2
Remove references to seL4_IPCBuffer.userData
by Kent McLeod
· 5 years ago
ed5b378
libsel4platsupport: Add mini IRQ interface
by Damon Lee
· 5 years ago
e6a0ee3
libsel4platsupport: Refactor the IRQ sources
by Damon Lee
· 5 years ago
f02430b
libsel4platsupport: Update ltimer calls
by Damon Lee
· 5 years ago
7cad0c3
trivial: style changed files
by Damon Lee
· 6 years ago
a6e1fbf
libsel4platsupport: Update IO ops calls in timer
by Damon Lee
· 6 years ago
4a474d3
libsel4platsupport: Init FDT ops in 'new_io_ops'
by Damon Lee
· 6 years ago
5ac1874
libsel4platsupport: Update 'new_io_ops'
by Damon Lee
· 6 years ago
af1ca9a
libsel4platsupport: Improve IRQ interface config
by Damon Lee
· 6 years ago
89360ac
libsel4platsupport: Fix 'new_fdt_ops'
by Damon Lee
· 6 years ago
0cf1c70
libsel4platsupport: Add in safety checks
by Damon Lee
· 6 years ago
28c5fdd
libsel4platsupport: Refactor IO-related interfaces
by Damon Lee
· 6 years ago
8869a2c
libsel4platsupport: Add IO FDT ops implementation
by Damon Lee
· 6 years ago
3e7189f
trivial: whitespace formatting
by Damon Lee
· 6 years ago
c18523b
replace kernel_autoconf with sel4_autoconf
by Yu Hou
· 6 years ago
e9a9ff4
Trivial: Style fix
by Yu Hou
· 6 years ago
4f4c9c2
link kernel_autoconf explicitly
by Yu Hou
· 6 years ago
559fb22
seL4_libs: specify linking method
by Yu Hou
· 6 years ago
e23dc54
seL4_libs: remove autoconf.h from seL4_libs
by Yu Hou
· 6 years ago
93ff2a9
trivial: Style libsel4platsupport/src/serial.c
by Kent McLeod
· 6 years ago
4aaaf98
Remove serial_objects_t
by Kent McLeod
· 6 years ago
9b13f63
libsel4platsupport: Update IRQ callback type
by Damon Lee
· 6 years ago
d1aa2b2
trivial: style changed file
by Kent McLeod
· 6 years ago
8e4a028
libsel4platsupport: Print errors instead of abort
by Kent McLeod
· 6 years ago
daf85a9
sel4platsupport,simple: Use Arm impl on RISC-V
by Kent McLeod
· 6 years ago
b505708
libsel4platsupport: Add new IRQ implementation
by Damon Lee
· 6 years ago
25e8a17
libsel4platsupport: Add new IRQ prototypes
by Damon Lee
· 6 years ago
0fc12a4
Get the bootinfo structure caputred by the runtime
by Curtis Millar
· 6 years ago
079533b
trivial: Remove TLS primitives
by Curtis Millar
· 6 years ago
b8200ed
Remove runtime in favor of sel4runtime
by Curtis Millar
· 6 years ago
b416dca
Depend on sel4runtime for platsupport and utils
by Curtis Millar
· 6 years ago
7605df3
trivial: fix warning
by Anna Lyons
· 6 years ago
277dc1b
trivial: libsel4platsupport: fix style
by James Ye
· 6 years ago
59323eb
libsel4platsupport: Add missing PS_TRIGGER path
by James Ye
· 6 years ago
017757e
libsel4simple: Add IRQControl_GetTrigger interface
by James Ye
· 6 years ago
92e04bd
trivial: Style libsel4platsupport/src/common.c
by Kent McLeod
· 6 years ago
841738b
libsel4platsupport: use ioports on x86, not !ARM
by Kent McLeod
· 6 years ago
6b2bbe6
CMake: Mark config options as advanced
by Kent McLeod
· 6 years ago
11062d0
trivial: style CMakeLists.txt files
by Kent McLeod
· 6 years ago
b1749df
sel4platsupport,riscv: Fix stack overflow in crt0
by Kent McLeod
· 6 years ago
e3c710e
trivial: style and whitespace fixes
by James Ye
· 6 years ago
80ff425
trivial: fix output warnings on 64-bit
by Anna Lyons
· 6 years ago
03daf50
sel4platsupport: Upgrade debug warning to error.
by Kent McLeod
· 6 years ago
ea427b1
sel4platsupport,RISCV: Re-add header include
by Kent McLeod
· 6 years ago
6d8cc8f
riscv: Remove more dead code
by Kent McLeod
· 6 years ago
181ba62
sel4platsupport: Move default serial definitions.
by Kent McLeod
· 6 years ago
2554189
sel4platsupport: Remove omap4 folder
by Kent McLeod
· 6 years ago
a3b77bb
sel4platsupport: Remove unused timer.h from spike
by Kent McLeod
· 6 years ago
5d24222
am335x: Move non-os driver code to libethdrivers
by Kent McLeod
· 6 years ago
68a5602
am335x: Move platform headers to libethdrivers
by Kent McLeod
· 6 years ago
6289da1
Kbuild: Removed Kbuild
by Adam Felizzi
· 6 years ago
2752d2b
Merge branch 'master' of https://github.com/fabriziobertocci/seL4_libs into master
by Adrian Danis
· 7 years ago
ca98f29
Added missing PhyReset function needed to build for the Beaglebone Black
by Fabrizio Bertocci
· 7 years ago
4d523e9
Added missing constants CPSW_SLIVER_INBAND and PHY_FULL_DUPLEX
by Fabrizio Bertocci
· 7 years ago
a695506
Fix for aarch64 crt0 in libsel4platsupport.
by Robbie VanVossen
· 7 years ago
fc8600b
New I/O port interface in simple
by Adrian Danis
· 7 years ago
cafdf11
libsel4platsupport: sel4platsupport_get_io_port_ops now takes vka
by Adrian Danis
· 7 years ago
b55b27c
libsel4platsupport: sel4platsupport_new_arch_ops now takes vka
by Adrian Danis
· 7 years ago
494cd46
RISC-V: CMake Support
by Kent McLeod
· 7 years ago
73d9d0a
trivial: guard with pragma once
by Anna Lyons
· 7 years ago
2539850
SELFOUR-1288: Revert DITE_HEADER_START definition
by Kent McLeod
· 7 years ago
81e38ce
SELFOUR-1286: clear out riscv serial and timer
by Anna Lyons
· 7 years ago
bc6c4aa
SELFOUR-1289: uncomment __serial_setup
by Anna Lyons
· 7 years ago
d147d6c
SELFOUR-1290: undo arbitrary config guard changes
by Anna Lyons
· 7 years ago
8fb68ab
SELFOUR-1285: restore arch/io.h for arm
by Anna Lyons
· 7 years ago
d820edf
libsel4platsupport: Remove dead symlinks
by Adrian Danis
· 7 years ago
5db5922
libsel4platsupport: riscv sel4_crt0.S is arch generic
by Adrian Danis
· 7 years ago
38cd5a5
libsel4platsupport: Build arch asm files
by Adrian Danis
· 7 years ago
a38ee4f
libse4platsupport: Remove broken riscv _start
by Adrian Danis
· 7 years ago
01b864e
SELFOUR-1287: remove unused file
by Adrian Danis
· 7 years ago
e124a57
RISC-V: Mark UNUSED variables to remove warnings
by Kent McLeod
· 7 years ago
d6b85e7
riscv: fix licenses
by Anna Lyons
· 7 years ago
c7e78f2
RISC-V port
by Hesham Almatary
· 9 years ago
a34751b
Revert "seL4platsupport: Use strtol instead of sscanf to parse hex"
by Adrian Danis
· 7 years ago
1a7bed9
platsupport: s/ZF_LOGF/ZF_LOGE in serial init
by Anna Lyons
· 7 years ago
f61c0d5
seL4platsupport: Use strtol instead of sscanf to parse hex
by Kofi Doku Atuah
· 7 years ago
c4e0428
sel4platsupport: am355x: Silence build warnings
by Kofi Doku Atuah
· 7 years ago
ebee53e
minor: use calloc instead of malloc
by Anna Lyons
· 7 years ago
6e844e1
Minor build warning fixes
by Kofi Doku Atuah
· 7 years ago
d1ed16a
sel4platsupport: TK1: Support Mux and GPIO dependency changes on TK1
by Kofi Doku Atuah
· 7 years ago
ef1d8cc
trivial: squash warnings
by Anna Lyons
· 7 years ago
06455b5
sel4platsupport: correctly mask bit
by Anna Lyons
· 7 years ago
6610d34
Modify behaviour of __arch_* weak symbols
by Kent McLeod
· 7 years ago
1fc97c1
Provide __arch_write
by Anna Lyons
· 7 years ago
08f9b7c
Changes for removal of seL4_CapData_t type in libsel4
by Adrian Danis
· 7 years ago
6e3be57
sel4platsupport: Prevent loss of IRQs when setting up timers
by Adrian Danis
· 7 years ago
0e96709
SELFOUR-1135 add empty implementation for sel4platsupport_new_arch_ops
by Claudia Tu
· 7 years ago
e8b823f
trivial: add UNUSED to unused parameter
by Anna Lyons
· 7 years ago
c28e0d4
sel4platsupport: add sel4platsupport_new_arch_ops
by Anna Lyons
· 7 years ago
ef21299
sel4platsupport: migrate malloc ops to platsupport
by Anna Lyons
· 7 years ago
30a96ca
Merge branch zcu102-7.0.0 into master
by Adrian Danis
· 7 years ago
135c651
pragma once and for all
by Anna Lyons
· 7 years ago
5f4ecbd
libsel4platsupport: Provide interface to initialize timer with a supplied ps_io_ops
by Adrian Danis
· 7 years ago
bf8d18a
libsel4platsupport: Fix stray character in comment
by Adrian Danis
· 7 years ago
002d6d9
Initialise stack declared ps_io_ops_t to zero
by Adrian Danis
· 7 years ago
Next »