projects / barrelfish / search
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
armv8: Refactor EFI loader
2019-09-27 Daniel Schwynarmv8: Refactor EFI loader
Signed-off-by: Daniel Schwyn <daniel.schwyn@inf.ethz.ch>
 commit | commitdiff | tree
2019-09-27 Daniel Schwynarmv8: Fix booting from U-Boot
Signed-off-by: Daniel Schwyn <daniel.schwyn@inf.ethz.ch>
 commit | commitdiff | tree
2019-09-27 Daniel Schwynarmv8: Add debug output for boot driver on QEMU
Signed-off-by: Daniel Schwyn <daniel.schwyn@inf.ethz.ch>
 commit | commitdiff | tree
2019-09-27 Daniel Schwynarmv8: Start cleaning up static EFI bootloader
Signed-off-by: Daniel Schwyn <daniel.schwyn@inf.ethz.ch>
 commit | commitdiff | tree
2019-09-27 Daniel Schwynarmv8: Don't overwrite core data passed by bootloader
Signed-off-by: Daniel Schwyn <daniel.schwyn@inf.ethz.ch>
 commit | commitdiff | tree
2019-09-27 Daniel Schwynarmv8: Kernel expects core data also on BSP
Signed-off-by: Daniel Schwyn <daniel.schwyn@inf.ethz.ch>
 commit | commitdiff | tree
2019-09-27 Daniel Schwynarmv8: Improve handling of multiboot info
Signed-off-by: Daniel Schwyn <daniel.schwyn@inf.ethz.ch>
 commit | commitdiff | tree
2019-09-27 Daniel Schwynarmv8: Remove Grub artefact from multiboot2 header
Signed-off-by: Daniel Schwyn <daniel.schwyn@inf.ethz.ch>
 commit | commitdiff | tree
2019-09-27 Daniel Schwynarmv8: Fix naming of multiboot functions
Signed-off-by: Daniel Schwyn <daniel.schwyn@inf.ethz.ch>
 commit | commitdiff | tree
2019-09-27 Daniel Schwynarmv8: Fix dependencies for building images
Signed-off-by: Daniel Schwyn <daniel.schwyn@inf.ethz.ch>
 commit | commitdiff | tree
2019-07-31 Aya Kayalarmv8: Fix idcap_identify syscall
 commit | commitdiff | tree
2019-06-07 Timothy RoscoeAdded boot target and qemu support for U-Boot on ARMv8
 commit | commitdiff | tree
2019-06-07 Timothy RoscoeAdded documentation for ARMv8 booting
 commit | commitdiff | tree
2019-06-06 Daniel Schwynhake: Makefile depends on hakefiles again
Signed-off-by: Daniel Schwyn <daniel.schwyn@inf.ethz.ch>
 commit | commitdiff | tree
2019-04-26 Daniel SchwynARMv7: Map all init frames shareable (coherent)
Signed-off-by: Daniel Schwyn <daniel.schwyn@inf.ethz.ch>
 commit | commitdiff | tree
2019-04-01 Daniel SchwynFix extraneous argument in ARMv7 LMP macro
Signed-off-by: Daniel Schwyn <daniel.schwyn@inf.ethz.ch>
 commit | commitdiff | tree
2018-02-09 Daniel SchwynSockeye: Add extended syntax example to technote
Signed-off-by: Daniel Schwyn <schwyda@student.ethz.ch>
 commit | commitdiff | tree
2018-02-08 Daniel SchwynSockeye: Add files for rest of compiler pipeline
Signed-off-by: Daniel Schwyn <schwyda@student.ethz.ch>
 commit | commitdiff | tree
2018-02-08 Daniel SchwynSockeye: Start implementing checker
Signed-off-by: Daniel Schwyn <schwyda@student.ethz.ch>
 commit | commitdiff | tree
2018-02-08 Daniel SchwynSockeye: Update technote with checks
Signed-off-by: Daniel Schwyn <schwyda@student.ethz.ch>
 commit | commitdiff | tree
2018-02-08 Daniel SchwynSockeye: Update technote
Signed-off-by: Daniel Schwyn <schwyda@student.ethz.ch>
 commit | commitdiff | tree
2018-02-08 Daniel SchwynSockeye: Do not allow multidimensional quantifiers
Signed-off-by: Daniel Schwyn <schwyda@student.ethz.ch>
 commit | commitdiff | tree
2018-02-07 Daniel SchwynSockeye: Fix slice operator
Signed-off-by: Daniel Schwyn <schwyda@student.ethz.ch>
 commit | commitdiff | tree
2018-02-07 Daniel SchwynSockeye: Move old code to v1, Hakefile for new code
Signed-off-by: Daniel Schwyn <schwyda@student.ethz.ch>
 commit | commitdiff | tree
2018-02-05 Daniel SchwynSockeye: Move files for new compiler to v2 dir
Signed-off-by: Daniel Schwyn <schwyda@student.ethz.ch>
 commit | commitdiff | tree
2018-02-05 Daniel SchwynSockeye: Build symbol table with imports
Signed-off-by: Daniel Schwyn <schwyda@student.ethz.ch>
 commit | commitdiff | tree
2018-02-02 Daniel SchwynSockeye: Implement import parsing and resolution
Signed-off-by: Daniel Schwyn <schwyda@student.ethz.ch>
 commit | commitdiff | tree
2018-01-31 Daniel SchwynSockeye: Add back compiler pipeline
Signed-off-by: Daniel Schwyn <schwyda@student.ethz.ch>
 commit | commitdiff | tree
2018-01-31 Daniel SchwynSockeye: Build whole symbol table
Signed-off-by: Daniel Schwyn <schwyda@student.ethz.ch>
 commit | commitdiff | tree
2018-01-30 Daniel SchwynSockeye: Build symbol table for top level
Signed-off-by: Daniel Schwyn <schwyda@student.ethz.ch>
 commit | commitdiff | tree
2018-01-25 Daniel SchwynSockeye: Move code for compiler v1 to subfolder
Signed-off-by: Daniel Schwyn <schwyda@student.ethz.ch>
 commit | commitdiff | tree
2018-01-23 Daniel SchwynSockeye: Code cleanup in parser
Signed-off-by: Daniel Schwyn <schwyda@student.ethz.ch>
 commit | commitdiff | tree
2018-01-23 Daniel SchwynSockeye: Add source position to AST
Signed-off-by: Daniel Schwyn <schwyda@student.ethz.ch>
 commit | commitdiff | tree
2018-01-19 Daniel SchwynSockeye: Fix qualifed node reference parsing
Signed-off-by: Daniel Schwyn <schwyda@student.ethz.ch>
 commit | commitdiff | tree
2018-01-19 Daniel SchwynSockeye: Implement maps & converts parsing
Signed-off-by: Daniel Schwyn <schwyda@student.ethz.ch>
 commit | commitdiff | tree
2018-01-19 Daniel SchwynSockeye: Implement binds parsing
Signed-off-by: Daniel Schwyn <schwyda@student.ethz.ch>
 commit | commitdiff | tree
2018-01-19 Daniel SchwynSockeye: Implement overlay parsing
Signed-off-by: Daniel Schwyn <schwyda@student.ethz.ch>
 commit | commitdiff | tree
2018-01-19 Daniel SchwynSockeye: Implement expression parsing
Signed-off-by: Daniel Schwyn <schwyda@student.ethz.ch>
 commit | commitdiff | tree
2018-01-18 Daniel SchwynSockeye: Parse address blocks in accept
Signed-off-by: Daniel Schwyn <schwyda@student.ethz.ch>
 commit | commitdiff | tree
2018-01-18 Daniel SchwynSockeye: Parse declarations & definition skeletons
Signed-off-by: Daniel Schwyn <schwyda@student.ethz.ch>
 commit | commitdiff | tree
2018-01-18 Daniel SchwynSockeye: Fix natural set model and parsing
Signed-off-by: Daniel Schwyn <schwyda@student.ethz.ch>
 commit | commitdiff | tree
2018-01-17 Daniel SchwynSockeye: Implement declaration parsing
Signed-off-by: Daniel Schwyn <schwyda@student.ethz.ch>
 commit | commitdiff | tree
2018-01-17 Daniel SchwynSockeye: New Parser parses top level structure
Signed-off-by: Daniel Schwyn <schwyda@student.ethz.ch>
 commit | commitdiff | tree
2018-01-16 Daniel SchwynFirst implementation of new AST for Sockeye parser
Signed-off-by: Daniel Schwyn <schwyda@student.ethz.ch>
 commit | commitdiff | tree
2017-10-27 Daniel SchwynSockeye: Move overlay translation to backend
Signed-off-by: Daniel Schwyn <schwyda@student.ethz.ch>
 commit | commitdiff | tree
2017-09-26 Daniel SchwynMerge branch 'sockeye' into master
Signed-off-by: Daniel Schwyn <schwyda@student.ethz.ch>
 commit | commitdiff | tree
2017-09-26 Daniel SchwynMerge remote-tracking branch 'remotes/upstream/master...
Signed-off-by: Daniel Schwyn <schwyda@student.ethz.ch>
 commit | commitdiff | tree
2017-09-25 Daniel SchwynDecoding net: Fail on region resolution with non contiuous...
Signed-off-by: Daniel Schwyn <schwyda@student.ethz.ch>
 commit | commitdiff | tree
2017-09-22 Daniel SchwynSockeye TN: Use example environment for examples
Signed-off-by: Daniel Schwyn <schwyda@student.ethz.ch>
 commit | commitdiff | tree
2017-09-21 Daniel SchwynDecoding net: Cleanup core module
Signed-off-by: Daniel Schwyn <schwyda@student.ethz.ch>
 commit | commitdiff | tree
2017-09-15 Daniel SchwynDecoding net: Refactor
Signed-off-by: Daniel Schwyn <schwyda@student.ethz.ch>
 commit | commitdiff | tree
2017-09-15 Daniel SchwynSockeye TN: Adapt Prolog mapping to snake case
Signed-off-by: Daniel Schwyn <schwyda@student.ethz.ch>
 commit | commitdiff | tree
2017-09-14 Daniel SchwynProlog code style fixes
Signed-off-by: Daniel Schwyn <schwyda@student.ethz.ch>
 commit | commitdiff | tree
2017-09-12 Daniel SchwynMerge remote-tracking branch 'upstream/master' into...
Signed-off-by: Daniel Schwyn <schwyda@student.ethz.ch>
 commit | commitdiff | tree
2017-09-12 Daniel SchwynSockeye TN: Use examples from OMAP4460
Signed-off-by: Daniel Schwyn <schwyda@student.ethz.ch>
 commit | commitdiff | tree
2017-09-12 Daniel SchwynSockeye TN: Update info about Prolog mapping
Signed-off-by: Daniel Schwyn <schwyda@student.ethz.ch>
 commit | commitdiff | tree
2017-09-11 Daniel SchwynSockeye TN: Update info about node types
Signed-off-by: Daniel Schwyn <schwyda@student.ethz.ch>
 commit | commitdiff | tree
2017-09-11 Daniel SchwynSKB: Adapt decoding net scripts to use struct notation
Signed-off-by: Daniel Schwyn <schwyda@student.ethz.ch>
 commit | commitdiff | tree
2017-09-11 Daniel SchwynSockeye: Use ECLiPSe struct notation in generated code
Signed-off-by: Daniel Schwyn <schwyda@student.ethz.ch>
 commit | commitdiff | tree
2017-09-11 Daniel SchwynSockeye: Add node type for cores
Signed-off-by: Daniel Schwyn <schwyda@student.ethz.ch>
 commit | commitdiff | tree
2017-09-07 Daniel SchwynKaluga: Fix bug with new driver model code
Signed-off-by: Daniel Schwyn <schwyda@student.ethz.ch>
 commit | commitdiff | tree
2017-08-07 Daniel SchwynSockeye: Generate addresses with ISO hex prefix
Signed-off-by: Daniel Schwyn <schwyda@student.ethz.ch>
 commit | commitdiff | tree
2017-08-07 Daniel SchwynRevert "Sockeye: Generate decimal addresses"
Signed-off-by: Daniel Schwyn <schwyda@student.ethz.ch>
 commit | commitdiff | tree
2017-08-04 Daniel SchwynSockeye: Generate decimal addresses
Signed-off-by: Daniel Schwyn <schwyda@student.ethz.ch>
 commit | commitdiff | tree
2017-08-03 Daniel SchwynSockeye TN: Update chapter on checks
Signed-off-by: Daniel Schwyn <schwyda@student.ethz.ch>
 commit | commitdiff | tree
2017-08-03 Daniel SchwynSockeye: Code cleanup
Signed-off-by: Daniel Schwyn <schwyda@student.ethz.ch>
 commit | commitdiff | tree
2017-08-02 Daniel SchwynSockeye: Fix empty top level namespace being compiled...
Signed-off-by: Daniel Schwyn <schwyda@student.ethz.ch>
 commit | commitdiff | tree
2017-08-02 Daniel SchwynSockeye: Change default dest base for mapping to 0...
Signed-off-by: Daniel Schwyn <schwyda@student.ethz.ch>
 commit | commitdiff | tree
2017-08-02 Daniel SchwynSockeye: Implement check for undefined ports
Signed-off-by: Daniel Schwyn <schwyda@student.ethz.ch>
 commit | commitdiff | tree
2017-08-02 Daniel SchwynSockeye: Implement reference check in input port declarations
Signed-off-by: Daniel Schwyn <schwyda@student.ethz.ch>
 commit | commitdiff | tree
2017-08-02 Daniel SchwynSockeye: Implement reference check for port mappings
Signed-off-by: Daniel Schwyn <schwyda@student.ethz.ch>
 commit | commitdiff | tree
2017-08-02 Daniel SchwynSockeye: implement reference check inside node declarations
Signed-off-by: Daniel Schwyn <schwyda@student.ethz.ch>
 commit | commitdiff | tree
2017-08-02 Daniel SchwynSockeye: Consier input mappings and output ports in...
Signed-off-by: Daniel Schwyn <schwyda@student.ethz.ch>
 commit | commitdiff | tree
2017-08-02 Daniel SchwynSockeye: Show global and root module fails first
Signed-off-by: Daniel Schwyn <schwyda@student.ethz.ch>
 commit | commitdiff | tree
2017-07-31 Daniel SchwynSockeye: Fix duplicate variable check for nested for...
Signed-off-by: Daniel Schwyn <schwyda@student.ethz.ch>
 commit | commitdiff | tree
2017-07-31 Daniel SchwynSockeye: Collect errors in type checker instead of...
Signed-off-by: Daniel Schwyn <schwyda@student.ethz.ch>
 commit | commitdiff | tree
2017-07-31 Daniel SchwynSockeye: Clean up ASTs
Signed-off-by: Daniel Schwyn <schwyda@student.ethz.ch>
 commit | commitdiff | tree
2017-07-31 Daniel SchwynSockeye: Rename Checker to TypeChecker
Signed-off-by: Daniel Schwyn <schwyda@student.ethz.ch>
 commit | commitdiff | tree
2017-07-31 Daniel SchwynSockeye: Reimplement port translation
Signed-off-by: Daniel Schwyn <schwyda@student.ethz.ch>
 commit | commitdiff | tree
2017-07-28 Daniel SchwynSockeye: Start reimplementing net builder on top of...
Signed-off-by: Daniel Schwyn <schwyda@student.ethz.ch>
 commit | commitdiff | tree
2017-07-28 Daniel SchwynSockeye: Implement module instantiator
Signed-off-by: Daniel Schwyn <schwyda@student.ethz.ch>
 commit | commitdiff | tree
2017-07-27 Daniel SchwynSockeye: Start implementing port checks
Signed-off-by: Daniel Schwyn <schwyda@student.ethz.ch>
 commit | commitdiff | tree
2017-07-26 Daniel SchwynSockeye: Refactor arguments type check
Signed-off-by: Daniel Schwyn <schwyda@student.ethz.ch>
 commit | commitdiff | tree
2017-07-26 Daniel SchwynSockeye TN: Start updating checks section
Signed-off-by: Daniel Schwyn <schwyda@student.ethz.ch>
 commit | commitdiff | tree
2017-07-26 Daniel SchwynSockeye TN: Fix some typos
Signed-off-by: Daniel Schwyn <schwyda@student.ethz.ch>
 commit | commitdiff | tree
2017-07-26 Daniel SchwynSockeye TN: Update hake section
Signed-off-by: Daniel Schwyn <schwyda@student.ethz.ch>
 commit | commitdiff | tree
2017-07-26 Daniel SchwynSockeye TN: Complete syntax chapter
Signed-off-by: Daniel Schwyn <schwyda@student.ethz.ch>
 commit | commitdiff | tree
2017-07-26 Daniel SchwynSockeye TN: Add description of template indentifiers
Signed-off-by: Daniel Schwyn <schwyda@student.ethz.ch>
 commit | commitdiff | tree
2017-07-25 Daniel SchwynSockeye TN: More updates
Signed-off-by: Daniel Schwyn <schwyda@student.ethz.ch>
 commit | commitdiff | tree
2017-07-24 Daniel SchwynSockeye TN: Update usage info
Signed-off-by: Daniel Schwyn <schwyda@student.ethz.ch>
 commit | commitdiff | tree
2017-07-24 Daniel SchwynSockeye: Improve import handling
Signed-off-by: Daniel Schwyn <schwyda@student.ethz.ch>
 commit | commitdiff | tree
2017-07-24 Daniel SchwynSockeye TN: Add short introduction about decoding nets
Signed-off-by: Daniel Schwyn <schwyda@student.ethz.ch>
 commit | commitdiff | tree
2017-07-24 Daniel SchwynSockeye: TN remove limitations chapter, update hake...
Signed-off-by: Daniel Schwyn <schwyda@student.ethz.ch>
 commit | commitdiff | tree
2017-07-24 Daniel SchwynSockeye TN: adapt example to syntax changes
Signed-off-by: Daniel Schwyn <schwyda@student.ethz.ch>
 commit | commitdiff | tree
2017-07-24 Daniel SchwynMerge remote-tracking branch 'upstream/master' into...
Signed-off-by: Daniel Schwyn <schwyda@student.ethz.ch>
 commit | commitdiff | tree
2017-07-24 Daniel SchwynMerge branch 'sockeye-modules' into sockeye
Signed-off-by: Daniel Schwyn <schwyda@student.ethz.ch>
 commit | commitdiff | tree
2017-07-21 Daniel SchwynHake: Ddd dependency tracking for sockeye
Signed-off-by: Daniel Schwyn <schwyda@student.ethz.ch>
 commit | commitdiff | tree
2017-07-21 Daniel SchwynSockeye: Enable generating make depend file during...
Signed-off-by: Daniel Schwyn <schwyda@student.ethz.ch>
 commit | commitdiff | tree
2017-07-20 Daniel SchwynStart modularizing omap44xx spec
Signed-off-by: Daniel Schwyn <schwyda@student.ethz.ch>
 commit | commitdiff | tree
2017-07-20 Daniel SchwynSockeye: Enable generation of dependency file
Signed-off-by: Daniel Schwyn <schwyda@student.ethz.ch>
 commit | commitdiff | tree
next
Barrelfish OS git repo