History log of /barrelfish-master/usr/skb/programs/decoding_net2.pl
Revision Date Author Comments
# 3992f786 09-Apr-2018 Lukas Humbel <lukas.humbel@inf.ethz.ch>

Sockeye: Porting PCI bars to new decoding net

Signed-off-by: Lukas Humbel <lukas.humbel@inf.ethz.ch>


# d97388e1 09-Apr-2018 Roni Häcki <roni.haecki@inf.ethz.ch>

Sockeye: decoding_net2 only add non IO bars for now

Signed-off-by: Roni Häcki <roni.haecki@inf.ethz.ch>


# 98fffbd4 06-Apr-2018 Roni Häcki <roni.haecki@inf.ethz.ch>

decoding_net: add pci bar nodes

Signed-off-by: Roni Häcki <roni.haecki@inf.ethz.ch>


# 37eb95a3 04-Apr-2018 Lukas Humbel <lukas.humbel@inf.ethz.ch>

Sockeye: Fix output

Signed-off-by: Lukas Humbel <lukas.humbel@inf.ethz.ch>


# 9c60b4ba 04-Apr-2018 Lukas Humbel <lukas.humbel@inf.ethz.ch>

Sockeye: Support destination ID in alloc_common query

Also fixes allocation requests with more than 21 bits

Signed-off-by: Lukas Humbel <lukas.humbel@inf.ethz.ch>


# 1e54582f 04-Apr-2018 Lukas Humbel <lukas.humbel@inf.ethz.ch>

iommu: fix alloc_root_vnodeslot

Signed-off-by: Lukas Humbel <lukas.humbel@inf.ethz.ch>


# 6174effd 04-Apr-2018 Lukas Humbel <lukas.humbel@inf.ethz.ch>

iommu: Use queries to determine buffer

Signed-off-by: Lukas Humbel <lukas.humbel@inf.ethz.ch>


# 2ad02094 28-Mar-2018 Lukas Humbel <lukas.humbel@inf.ethz.ch>

Sockeye: adapting towards iommu_client interface

Signed-off-by: Lukas Humbel <lukas.humbel@inf.ethz.ch>


# 0cc04c62 28-Mar-2018 Lukas Humbel <lukas.humbel@inf.ethz.ch>

Sockeye: Mark regions in use

Signed-off-by: Lukas Humbel <lukas.humbel@inf.ethz.ch>


# ca20ff2f 28-Mar-2018 Lukas Humbel <lukas.humbel@inf.ethz.ch>

Sockeye: Correct order for initialization

Signed-off-by: Lukas Humbel <lukas.humbel@inf.ethz.ch>


# d5ff2042 28-Mar-2018 Lukas Humbel <lukas.humbel@inf.ethz.ch>

mem_serv: Move allocate_common into iommu_client

Signed-off-by: Lukas Humbel <lukas.humbel@inf.ethz.ch>


# ffeca4c5 28-Mar-2018 Lukas Humbel <lukas.humbel@inf.ethz.ch>

Sockeye: Initialize DRAM with available memory

Signed-off-by: Lukas Humbel <lukas.humbel@inf.ethz.ch>


# 92674bfc 27-Mar-2018 Lukas Humbel <lukas.humbel@inf.ethz.ch>

iommu_client: Pass nodeids to mem_serv

Signed-off-by: Lukas Humbel <lukas.humbel@inf.ethz.ch>


# b16afe34 27-Mar-2018 Lukas Humbel <lukas.humbel@inf.ethz.ch>

Start of integrating the model supported memory allocator

Signed-off-by: Lukas Humbel <lukas.humbel@inf.ethz.ch>


# b846b085 26-Mar-2018 Lukas Humbel <lukas.humbel@inf.ethz.ch>

Sockeye: Speedup and cleanup

Signed-off-by: Lukas Humbel <lukas.humbel@inf.ethz.ch>


# c05bc4b3 22-Mar-2018 Lukas Humbel <lukas.humbel@inf.ethz.ch>

Sockeye: First version of common buffer query working

Signed-off-by: Lukas Humbel <lukas.humbel@inf.ethz.ch>


# 197a2970 21-Mar-2018 Lukas Humbel <lukas.humbel@inf.ethz.ch>

Sockeye: Working on region route

Signed-off-by: Lukas Humbel <lukas.humbel@inf.ethz.ch>


# ed97eb89 20-Mar-2018 Lukas Humbel <lukas.humbel@inf.ethz.ch>

Sockeye: Add some logic for block remappable and generate PTs from it

Signed-off-by: Lukas Humbel <lukas.humbel@inf.ethz.ch>


# 7b54dadd 16-Mar-2018 Lukas Humbel <lukas.humbel@inf.ethz.ch>

Sockeye: Reserver certain regions and allocate free ones

Signed-off-by: Lukas Humbel <lukas.humbel@inf.ethz.ch>


# 0d590123 15-Mar-2018 Lukas Humbel <lukas.humbel@inf.ethz.ch>

Sockeye: Make real world resolve region work

Signed-off-by: Lukas Humbel <lukas.humbel@inf.ethz.ch>


# 8d80bf1b 13-Mar-2018 Lukas Humbel <lukas.humbel@inf.ethz.ch>

Sockeye: Add region query to decoding_net2

Signed-off-by: Lukas Humbel <lukas.humbel@inf.ethz.ch>


# 5a6c40a1 12-Mar-2018 Lukas Humbel <lukas.humbel@inf.ethz.ch>

Sockeye: Make PL queries treat node overlay correctly

Signed-off-by: Lukas Humbel <lukas.humbel@inf.ethz.ch>


# d94d5717 12-Mar-2018 Lukas Humbel <lukas.humbel@inf.ethz.ch>

Sockeye: Add resolve function

Signed-off-by: Lukas Humbel <lukas.humbel@inf.ethz.ch>


# 298bfa8d 27-Feb-2018 Lukas Humbel <lukas.humbel@inf.ethz.ch>

Sockeye: Forall quantifier

Signed-off-by: Lukas Humbel <lukas.humbel@inf.ethz.ch>


# 95ccc8ef 20-Feb-2018 Lukas Humbel <lukas.humbel@inf.ethz.ch>

Sockeye: instantiating modules with (no outputs yet)

Signed-off-by: Lukas Humbel <lukas.humbel@inf.ethz.ch>


# 950df905 16-Feb-2018 Lukas Humbel <lukas.humbel@inf.ethz.ch>

Sockeye: Improving on Prolog output

Signed-off-by: Lukas Humbel <lukas.humbel@inf.ethz.ch>